We introduce and study the functioning of non-autonomous Petri Nets (PN). The Synchronized Petri Nets (SPN) are defined as being PN's such that transition finings are synchronized on the occurrences of external events. We show that the nesults concerning the verification of characteristic properties (eive, bounded, persistent) by autonomous PN's are only partially valid for this mode of functioning. The model of Labeled SPN is proposed and studied as a tool for the description and analysis of non-autonomous systems.
CITATION STYLE
Moalla, M., Pulou, J., & Sifakis, J. (1978). Synchronized petri nets: A model for the description of non-autonomous sytems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 64 LNCS, pp. 374–384). Springer Verlag. https://doi.org/10.1007/3-540-08921-7_85
Mendeley helps you to discover research relevant for your work.