Author:
Tuxi Thiago M.,Carvalho Lilian K.,Nunes Eduardo V.L.,Da Cunha Antonio E.C.
Reference16 articles.
1. Principles of Model Checking;Baier,2008
2. How to use model checking for diagnosing fault patterns in petri nets;Bakalara,2020
3. The complexity of diagnosability and opacity verification for petri nets;Bérard;Fundamenta Informaticae,2018
4. Introduction to Discrete Event Systems;Cassandras,2008
5. The complexity of codiagnosability for discrete event and timed systems;Cassez;IEEE Transactions on Automatic Control,2012