Distributed unfolding of petri nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3921 LNCS, Issue , 2006, Pages 126-141

  Baldan, Paolo ^a   Haar, Stefan ^b   König, Barbara ^c  

^a CA' FOSCARI UNIVERSITY OF VENICE   (Italy)

^b INRIA   (France)

^c UNIVERSITY OF STUTTGART   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DATA REDUCTION; DISTRIBUTED COMPUTER SYSTEMS; FAULT TOLERANT COMPUTER SYSTEMS; PROBLEM SOLVING; PROGRAM DIAGNOSTICS;

DATA EXCHANGE; INTERLEAVING STRUCTURES; PULLBACK DECOMPOSITION; SYSTEM FACTORIZATION;

PETRI NETS;

EID: 33745785609     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11690634_9     Document Type: Conference Paper

References (20)

1. J. Adamek, H. Herrlich, and G.E. Strecker. Abstract and Concrete Categories The Joy of Cats. Wiley, 1990.
2. P. Baldan, S. Haar, and B. König, Distributed unfolding of petri nets. Technical Report CS-2006-1, Department of Computer Science, University Ca' Foscari of Venice, 2006.
3. A. Benveniste, E. Fabre, Claude Jard, and S. Haar. Diagnosis of asynchronous discrete event systems, a net unfolding approach. IEEE Trans. on Automatic Control, 48(5):714-727, 2003.
4. A. Benveniste, S. Haar, E. Fabre, and C. Jard, Distributed monitoring of concurrent and asynchronous systems. In Proc. of CONCUR'03, volume 2761 of LNCS, pages 1-26, Springer, 2003.
5. R. Boel and J. van Schuppen, Decentralized failure diagnosis for discrete event systems with costly communication between diagnosers. In Proc. 6th Int. Workshop on Discrete event Systems (WODES), pages 175-181, 2002.
6. C. Cassandras and S. Lafortune. Introduction to Discrete Event Systems. Kluwer Academic, 1999.
7. E. Fabre, Factorization of unfoldings for distributed tile systems, part 1: Reduced interaction case. Technical Report 4829, INRIA, May 2003.
8. E. Fabre. Factorization of unfoldings for distributed tile systems, part 2: General case. Technical Report 5186, INRIA, May 2004.
9. E. Fabre, A. Benveniste, S. Haar, and C. Jard. Distributed monitoring of con-current and asynchronous systems. Discrete Event Dynamic Systems: theory and application, 15(1):33-84, 2005.
10. S. Gene and S. Lafortune. Distributed Diagnosis of discrete-event systems using Petri net unfoldings. In W.M.P. van der Aalst and E. Best, editors, Proc. of ICATPN 2003, volume 2679 of LNCS, pages 316-336. Springer, 2003.
11. K. Heljanko, V. Khomenko, and M. Koutny, Parallelisation of the petri net unfolding algorithm. In Proc. of TACAS'02, volume 2280 of LNCS, pages 371-385. Springer, 2002.
12. S. Mac Lane. Categories for the working mathematician. Springer, 1971.
13. J. Meseguer, U. Montanari, and V. Sassone. Process versus unfolding semantics for Place/Transition Petri nets. Theoret. Comp, Sci., 153(1-2):171-210, 1996.
14. M. Nielsen, G. Plotkin, and G. Winskel. Petri Nets, Event Structures and Domains, Part 1. Theoret. Comp. 3d., 13:85-108, 1981.
15. W. Reisig. Petri Nets. An Introduction. Number 4 in EATCS Monographs on Theoretical Computer Science. Springer Verlag, 1982.
16. S. L. Ricker and J. van Schuppen. Decentralized failure diagnosis with asynchronous communication between diagnosers,. In Proc. of the European Control Conference, 2001.
17. S.L. Ricker and K. Rudie. Distributed knowledge for communication in decentralized discrete-event systems. In Proc. of the IEEE Conference on Decision and Control (CDC), 2001.
18. G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformation, Vol.1: Foundations, volume 1. World Scientific, 1997.
19. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis. Diagnosability of discrete-event systems. IEEE Trans. on Automatic Control, 40(9): 1555-1575, 1995.
20. G. Winskel. Event structures. In Petri Nets: Applications and Relationships to Other Models of Concurrency, volume 255 of LNCS, pages 325-392. Springer, 1987.