Author:
Bakalara Johanne,Pencolé Yannick,Subias Audine
Subject
Control and Systems Engineering
Reference10 articles.
1. Model checking bounded prioritized time Petri nets;Berthomieu,2007
2. The tool tina-construction of abstract state spaces for Petri nets and time Petri nets;Berthomieu;International Journal of Production Research,2004
3. Formal verification of intermittent fault diagnosability of discrete-event systems using model-checking;Boussif;International Journal of Critical Computer-Based Systems,2018
4. Model checking;Clarke,1999
5. Petri net languages;Hack,1975