Skip to main content
SpringerLink
Log in

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

  • Communications
  • Conference paper
  • First Online:
Mathematical Foundations of Computer Science 1978 (MFCS 1978)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 64))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. 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. 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. 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. 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.

    Article  Google Scholar 

  6. C.W.ROSE: "LOGOS and the software engineer", Proc. Fall Joint Comp. Conf., AFIPS Press, 1972, pp. 311–323.

    Google Scholar 

  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. 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. 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. M.HACK: "Petri Net Languages", Project MAC, Computation Structures Group, Memo 124, June 1975.

    Google Scholar 

  11. M.HACK: "Analysis of Production Schemata by Petri Nets", Master of Science, MIT, 1972.

    Google Scholar 

  12. M.HACK: "Decision Problems for Petri Nets and Vector Addition Systems", MAC Technical memorandum 59, MIT, March 1975.

    Google Scholar 

  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. R. VALK, G. VIDAL-NAQUET: "On the Rationality of Petri Nets Languages", 3 GI on Theorical Comp. Science, Darmstadt, 1977.

    Google Scholar 

  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. 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. 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. S.R. KOSARAJU: "Limitations of DIJKSTRA's semaphore primitives and PETRI nets", Research Report 25, John Hopkins University, Baltimore, May 1973.

    Google Scholar 

  19. M.MOALLA, J.PULOU, J.SIFAKIS: "Réseaux de Petri Synchronisés", Rapport de Recherche ENSIMAG, No 80, Septembre 1977.

    Google Scholar 

  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. R.M. KARP, R.E. MILLER: "Parallel Program Schemata", Journal of Computer and Systems Sciences, Vol. 3, 1969, pp. 147–195.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IMAG, B.P. 53, 38041, Grenoble cedex, France

    M. Moalla, J. Pulou & J. Sifakis

Authors
  1. M. Moalla
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. J. Pulou
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. J. Sifakis
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. Winkowski

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation