DocumentCode
3162471
Title
Stabilizing Petri nets
Author
Ghosh, Sukumar
Author_Institution
Dept. of Comput. Sci., Iowa Univ., Iowa City, IA, USA
fYear
1991
fDate
2-5 Dec 1991
Firstpage
352
Lastpage
356
Abstract
A fundamental criterion of a robust distributed system is its ability to recover from perturbations that can possibly corrupt the state of the system. In a Petri net model, system perturbations may affect the marking of the net in an unpredictable manner. The paper shows that for certain classes of nets, it is possible to devise a self-stabilizing extension, so that regardless of the initial marking, the system automatically restores its liveness and safety properties
Keywords
Petri nets; distributed processing; Petri nets; liveness properties; net marking; perturbations recovery; robust distributed system; safety properties; self stabilising; system perturbations; Cities and towns; Computational modeling; Computer science; Control theory; Law; Legal factors; Mathematics; Petri nets; Robustness; Safety;
fLanguage
English
Publisher
ieee
Conference_Titel
Parallel and Distributed Processing, 1991. Proceedings of the Third IEEE Symposium on
Conference_Location
Dallas, TX
Print_ISBN
0-8186-2310-1
Type
conf
DOI
10.1109/SPDP.1991.218220
Filename
218220
Link To Document