Open AccessHigh level Petri net modeling For railway safety critical scenarios
Author(s) -
Zakaryae Boudi,
El Miloudi El Koursi,
Simon Collart-Dutilleul,
Moha Khaddour
Publication year - 2014
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Uncategorized
Resource type - Conference proceedings
Subject(s) - petri net , computer science , net (polyhedron) , stochastic petri net , reliability engineering , distributed computing , engineering , geometry , mathematics