Baisi Liu, Mohamed Ghazel, Armand Toguyéni. OF-PENDA: A Software Tool for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets. In Mohamed Khalgui, Zhiwu Li, editors, ADECS 2014, Proceedings of the 1st International Workshop on Petri Nets for Adaptive Discrete-Event Control Systems, co-located with 35th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2014), Tunis, Tunisia, June 24, 2014. Volume 1161 of CEUR Workshop Proceedings, pages 20-35, CEUR-WS.org, 2014. [doi]
Abstract is missing.