A study of the recoverability of computing systems, 1974. ,
Supervision Patterns in Discrete Event Systems Diagnosis, 2006 8th International Workshop on Discrete Event Systems ,
URL : https://hal.archives-ouvertes.fr/inria-00001113
A State Class Construction for Computing the Intersection of Time Petri Nets Languages, Lecture Notes in Computer Science, vol.11750, pp.79-95, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02263832
Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.40, issue.9, pp.1555-1575, 1995. ,
Introduction to Discrete Event Systems, 2008. ,
Overview of fault diagnosis methods for Discrete Event Systems, Annual Reviews in Control, vol.37, issue.2, pp.308-320, 2013. ,
Fault Diagnosis for Timed Automata, Lecture Notes in Computer Science, pp.205-221, 2002. ,
Overview of fault diagnosis methods based on Petri net models, 2014 European Control Conference (ECC), 2014. ,
A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets, IEEE Transactions on Automatic Control, vol.57, issue.12, pp.3104-3117, 2012. ,
A polynomial algorithm for testing diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.46, issue.8, 2001. ,
Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.40, issue.9, pp.1555-1575, 1995. ,
Time Petri Nets, Petri Nets, pp.123-161 ,
URL : https://hal.archives-ouvertes.fr/hal-01275316
The tool TINA ? Construction of abstract state spaces for petri nets and time petri nets, International Journal of Production Research, vol.42, issue.14, pp.2741-2756, 2004. ,
Diagnosis of Labeled Time Petri Nets Using Time Interval Splitting, IFAC Proceedings Volumes, vol.47, issue.3, pp.1784-1789, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01740388
Diagnosis of Time Petri Nets Using Fault Diagnosis Graph, IEEE Transactions on Automatic Control, vol.60, issue.9, pp.2321-2335, 2015. ,
Diagnosability Analysis of Labeled Time Petri Net Systems, IEEE Transactions on Automatic Control, vol.62, issue.3, pp.1384-1396, 2017. ,
Comparison of the Expressiveness of Timed Automata and Time Petri Nets, Lecture Notes in Computer Science, vol.3829, pp.211-225, 2005. ,
Bridging the Gap Between Timed Automata and Bounded Time Petri Nets, Lecture Notes in Computer Science, vol.4202, pp.82-97, 2006. ,
The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), 1977. ,
Depth-First Search and Linear Graph Algorithms, SIAM Journal on Computing, vol.1, issue.2, pp.146-160, 1972. ,
Diagnosability analysis of patterns on bounded labeled prioritized Petri nets, Discrete Event Dynamic Systems, vol.27, issue.1, pp.143-180, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01574475
Timed pattern diagnosis in timed workflows: a model checking approach, IFAC-PapersOnLine, vol.51, issue.7, pp.94-99, 2018. ,
A benchmark for diagnosis, Benchmark Session of WODES'08 Int. Workshop on Discrete Event Systems, 2007. ,