Synchronized petri nets : A model for the description of non-autonomous sytems

  • M. Moalla
  • J. Pulou
  • J. Sifakis
Part of the Lecture Notes in Computer Science book series (LNCS, volume 64)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    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.Google Scholar
  2. [2]
    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.Google Scholar
  3. [3]
    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.Google Scholar
  4. [4]
    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.Google Scholar
  5. [5]
    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.CrossRefGoogle Scholar
  6. [6]
    C.W.ROSE: "LOGOS and the software engineer", Proc. Fall Joint Comp. Conf., AFIPS Press, 1972, pp. 311–323.Google Scholar
  7. [7]
    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.Google Scholar
  8. [8]
    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.Google Scholar
  9. [9]
    A.W.HOLT, F.COMMONER: "Events and Conditions", Record of the project MAC Conference on Concurrent Systems and Parallel Computation, ACM, New York, 1970.Google Scholar
  10. [10]
    M.HACK: "Petri Net Languages", Project MAC, Computation Structures Group, Memo 124, June 1975.Google Scholar
  11. [11]
    M.HACK: "Analysis of Production Schemata by Petri Nets", Master of Science, MIT, 1972.Google Scholar
  12. [12]
    M.HACK: "Decision Problems for Petri Nets and Vector Addition Systems", MAC Technical memorandum 59, MIT, March 1975.Google Scholar
  13. [13]
    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.Google Scholar
  14. [14]
    R. VALK, G. VIDAL-NAQUET: "On the Rationality of Petri Nets Languages", 3 GI on Theorical Comp. Science, Darmstadt, 1977.Google Scholar
  15. [15]
    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.Google Scholar
  16. [16]
    R.E.MILLER: "Mathematical studies of parallel computation", Proc. First IBM Symp. Math. Foundation of Comp. Science, IBM Japan, Oct. 1976, pp. 1–23.Google Scholar
  17. [17]
    T.AGERWALA, M.FLYNN: "Comments on capabilities, Limitations and Correctness of Petri Nets", First Annual Symp. on Comp. Architecture, Fla., 1973, pp. 81–86.Google Scholar
  18. [18]
    S.R. KOSARAJU: "Limitations of DIJKSTRA's semaphore primitives and PETRI nets", Research Report 25, John Hopkins University, Baltimore, May 1973.Google Scholar
  19. [19]
    M.MOALLA, J.PULOU, J.SIFAKIS: "Réseaux de Petri Synchronisés", Rapport de Recherche ENSIMAG, No 80, Septembre 1977.Google Scholar
  20. [20]
    E. BEST, H.A. SCHMIDT: "Systems of open-paths in Petri Nets", Notes in Computer Science 32, Springer Lecture, Berlin, 1975.Google Scholar
  21. [21]
    R.M. KARP, R.E. MILLER: "Parallel Program Schemata", Journal of Computer and Systems Sciences, Vol. 3, 1969, pp. 147–195.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1978

Authors and Affiliations

  • M. Moalla
    • 1
  • J. Pulou
    • 1
  • J. Sifakis
    • 1
  1. 1.IMAGGrenoble cedexFrance

Personalised recommendations