Title :
Stabilizing Petri nets
Author_Institution :
Dept. of Comput. Sci., Iowa Univ., Iowa City, IA, USA
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;
Conference_Titel :
Parallel and Distributed Processing, 1991. Proceedings of the Third IEEE Symposium on
Conference_Location :
Dallas, TX
Print_ISBN :
0-8186-2310-1
DOI :
10.1109/SPDP.1991.218220
