Abstract
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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
P.AZEMA, R.VALETTE, M.DIAZ: "Petri nets as a common tool for the design verification and hardware simulation", 13th Design Automation Conference, Palo Alto, June 1976.
M.MOALLA, G.SAUCIER, J.SIFAKIS, M.ZACHARIADES: "A Design Tool for the Multilevel Description and Simulation of Systems of Interconnected Modules", 3rd Annual Symp. on Comp. Architecture, Tampa, Fla., January 1976.
R. VALETTE: "Sur la Description, l'Analyse et la Validation des Systèmes de Commande Parallèles", Thèse d'Etat, Univ. Paul Sabatier, Toulouse, Nov. 1976.
C.ANDRE: "Sur une méthode de conception assistée par ordinateur des systèmes logiques à évolutions simultanées", Thèse de spécialité, Nice, Juin 1975.
J.L. BAER, D.P. BOUET, G. ESTRIN: "Legality and Other Properties of Graph Models of Computations", Journal of ACM, Vol. 17, July 1970, pp. 543–554.
C.W.ROSE: "LOGOS and the software engineer", Proc. Fall Joint Comp. Conf., AFIPS Press, 1972, pp. 311–323.
J.D. NOE, G.J. NUTT: "Macro E-Nets for Representation of Parallel Systems", IEEE Trans. on Computers, C-22, No 8, August 1973, pp. 718–727.
C.A.PETRI: "Communication with automata", Technical Rep. no RADC-TR-65-377, Vol. 1, Rome Air Develop. Center, Griffis Air Force Base, New York, Jan. 1966.
A.W.HOLT, F.COMMONER: "Events and Conditions", Record of the project MAC Conference on Concurrent Systems and Parallel Computation, ACM, New York, 1970.
M.HACK: "Petri Net Languages", Project MAC, Computation Structures Group, Memo 124, June 1975.
M.HACK: "Analysis of Production Schemata by Petri Nets", Master of Science, MIT, 1972.
M.HACK: "Decision Problems for Petri Nets and Vector Addition Systems", MAC Technical memorandum 59, MIT, March 1975.
G.BERTHELOT, G.ROUCAIROL: "Reduction of Petri Nets", Proc. of the Symp. on MFCS 76, Lec. Notes in Comp. Science, No 45, Springer Verlag ed.
R. VALK, G. VIDAL-NAQUET: "On the Rationality of Petri Nets Languages", 3 GI on Theorical Comp. Science, Darmstadt, 1977.
R.J. LIPTON, R.E. MILLER, L. SNYDER: "Synchronization and Computing Capabilities of Linear Asynchronous structures", Journal of Comp. and System Science 14,1977, pp. 49–72.
R.E.MILLER: "Mathematical studies of parallel computation", Proc. First IBM Symp. Math. Foundation of Comp. Science, IBM Japan, Oct. 1976, pp. 1–23.
T.AGERWALA, M.FLYNN: "Comments on capabilities, Limitations and Correctness of Petri Nets", First Annual Symp. on Comp. Architecture, Fla., 1973, pp. 81–86.
S.R. KOSARAJU: "Limitations of DIJKSTRA's semaphore primitives and PETRI nets", Research Report 25, John Hopkins University, Baltimore, May 1973.
M.MOALLA, J.PULOU, J.SIFAKIS: "Réseaux de Petri Synchronisés", Rapport de Recherche ENSIMAG, No 80, Septembre 1977.
E. BEST, H.A. SCHMIDT: "Systems of open-paths in Petri Nets", Notes in Computer Science 32, Springer Lecture, Berlin, 1975.
R.M. KARP, R.E. MILLER: "Parallel Program Schemata", Journal of Computer and Systems Sciences, Vol. 3, 1969, pp. 147–195.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1978 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Moalla, M., Pulou, J., Sifakis, J. (1978). Synchronized petri nets : A model for the description of non-autonomous sytems. In: Winkowski, J. (eds) Mathematical Foundations of Computer Science 1978. MFCS 1978. Lecture Notes in Computer Science, vol 64. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-08921-7_85
Download citation
DOI: https://doi.org/10.1007/3-540-08921-7_85
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08921-6
Online ISBN: 978-3-540-35757-5
eBook Packages: Springer Book Archive