Qualitative diagnosability of labeled Petri nets revisited

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2009, Pages 1248-1253

  Haar, Stefan ^a,b  

^a CNRS   (France)

^b NONE

Author keywords

[No Author keywords available]

Indexed keywords

DECOMPOSITION; PETRI NETS; SEMANTICS;

COMPACT DATA STRUCTURE; CONCURRENT PROCESS; DISCRETE EVENTS; FAULT DIAGNOSIS TECHNIQUE; PARTIAL ORDER REPRESENTATION; PARTIAL ORDER SEMANTICS; PETRI NET SYSTEMS; TRANSITION LABELING;

DISCRETE EVENT SIMULATION;

EID: 77950836071     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2009.5400917     Document Type: Conference Paper

References (29)

1. J. Desel and J. Esparza. Free Choice Petri Nets.Cambridge University Press, 1995.
2. A.T. Bouloutas, S. Calo, and A. Finkel. Alarm correlation and fault identification in communication networks. IEEE Trans. on Communication 42(2-4), 1994.
3. C. Cassandras and S. Lafortune. Introduction to discrete event systems. Kluwer Academic Publishers, 1999.
4. V. Diekert and G. Rozenberg, eds. The Book of Traces . World Scientific, 1995.
5. J. Engelfriet. Branching Processes of Petri Nets. Acta Informatica 28:575-591, 1991.
6. J. Esparza, S. Römer, W. Vogler. An improvement of McMillan's unfolding algorithm. Formal Meth. in System Design 20(3):285-310, 2002.
7. E. Fabre and A. Benveniste. Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them. INRIA Research report 5916, Feb. 2007; http://hal.inria.fr/inria-00130025. Extended version of a plenary address at WODES 2006.
8. E. Fabre, A. Benveniste, C. Jard, and S. Haar. Diagnosis of Asynchronous Discrete Event Systems, a Net Unfolding Approach. IEEE Trans. Aut. Control 48(5)·714-727, May 2003.
9. E. Fabre, A. Benveniste, C. Jard, and S. Haar. Distributed monitoring of concurrent and asynchronous systems. Discrete Event Dynamic Systems 15(1):33-84, Mar. 2005
10. R.G. Gardner and D. Harle. Methods and systems for alarm correlation. GlobeCom 1996.
11. S. Genc and S. Lafortune. Distributed Diagnosis of Place-Bordered Petri Nets". IEEE Transactions on Automation Science and Engineering. April 2007
12. M. P. Cabasino, A. Giua, C. Seatzu. Identification of Petri Nets from Knowledge of Their Language. Discrete Event Dynamic Systems 17(4): 447-474, 2007.
13. S. Haar, A. Benveniste, E. Fabre, and C. Jard. Partial Order Diagnosability of Discrete Event Systems Using Petri Net Unfoldings. In: Proc. 42nd CDC, 2003.
14. S. Haar. Unfold and Cover: Qualitative Diagnosability for Petri Nets. Proc. 46th IEEE Conference on Decision and Control, 2007.
15. A. Giua and C. Xie. Control of safe ordinary Petri nets using unfolding. Discrete Event Dynamic Systems 15(4):349-373, Dec. 2005
16. C.N. Hadjicostis, and G.C. Verghese. Monitoring discrete event systems using Petri net embeddings. in Proc. 20st (ICATPN), LNCS 1639:188-208, Springer Verlag 1999.
17. L.E. Holloway, B.H. Krogh and A. Giua. A Survey of Petri Net Methods for Controlled Discrete event systems. Discrete Event Dynamic Systems: Theory and Applications 7:151-190, 1997.
18. V. Khomenko, M. Koutny, and W. Vogler. Canonical Prefixes of Petri Net Unfoldings. Acta Informatica 40:95-118, 2003.
19. Preliminary Version in: D. Brinskma and K.G. Larsen (eds.), Proc. CAV 2002, LNCS 2404:582-595., Springer Verlag2002.
20. F. Lin. Diagnosability of discrete event systems and its applications. Discrete Event Dynamic Systems: Theory and Applications, 4(1), 1994, pp. 197-212.
21. K. McMillan. Using Unfoldings to avoid the state explosion problem in the verification of asynchronous circuits. 4th Workshop on Computer Aided Verification 164-174, 1992.
22. M. Nielsen, G. Plotkin G. Winskel. Petri nets, event structures, and domains, Part I. TCS 13:85-108, 1981.
23. J.L. Peterson. Petri Net Theory and the Modeling of Systems. Prentice-Hall, 1981.
24. W. Reisig. Petri nets. Springer Verlag, 1985.
25. A. Sahraoui, H. Atabakhche, M. Courvoisier, and R. Valette. Joining Petri nets and knowledge-based systems for monitoring purposes. Proc. IEEE Int. Conf. on Robotics Automation, 1160-1165, 1987.
26. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis. Diagnosability of discrete-event systems. IEEE Trans. Aut. Control 40(9), 1555-1575, 1995.
27. R. Sengupta. Diagnosis and communications in distributed systems. Proceedings WODES 1998, 144-151.
28. G. Winskel. Event structures. Advances in Petri nets, LNCS 255: 325-392, Springer Verlag, 1987.
29. T. Yoo and S. Lafortune. Polynomial-Time Verification of Diagnosability of Partially-Observed Discrete-Event Systems. IEEE Trans. Aut. Control 47(9):1491-1495, 2002.