Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Mathematical Foundations of Computer Science

MFCS 1981: Mathematical Foundations of Computer Science 1981 pp 140–155Cite as

Generalizations of Petri nets

  • Invited Lectures
  • Conference paper
  • First Online:

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

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Agerwala, T.K.M.: Towards a Theory for the Analysis and Synthesis of Systems Exhibiting Concurrency, The Johns Hopkins Univ., Baltimore, Maryland (1975)

    Google Scholar 

  2. Araki, I. and Kasami, T.: Some Decision Problems related to the Reachability Problem for Petri Nets, Theor.Computer Sci. 3 (1977) 85–104

    Google Scholar 

  3. Arnold,A. and Latteux, M.: Vector Addition Systems and Semi-Dyck-Languages, Lab. de Calcul, Univ. Lille, Publ. No. 78, (1976).

    Google Scholar 

  4. Brauer, W. (ed): Net Theory and Applications, Lecture Notes in Computer Sci., No 84, Springer, Berlin (1979).

    Google Scholar 

  5. Burkhard,: Ordered Firing in Petri Nets, to appear in EIK.

    Google Scholar 

  6. Claus,V.: The (n,k)-Bounded Emptiness-Problem for Probabilistic Acceptors and related Problems, to appear in Acta Informatica.

    Google Scholar 

  7. Courtois, P.J., Heymans, F. and Parnas, D.L.: Concurrent Control with Readers and Writers, Comm. ACM 14(1971)10,667–668.

    Google Scholar 

  8. Fuss, H.E.: AFMG — Ein asynchroner Fluß-Modell-Generator, GMD, Bonn, Bericht Nr. 100, Bonn (1975).

    Google Scholar 

  9. Genrich, H.J. and Lautenbach, K.: System Modelling with High-Level Petri Nets, Theor.Computer Sci. 13 (1981) 109–136

    Google Scholar 

  10. Genrich, H.J., Lautenbach, K. and Thiagarajan, P.S.: Elements of General Net Theory, in [4]

    Google Scholar 

  11. Hack,M.: Petri Net Languages, MIT Lab.for Computer Sci., TR 159, (1976).

    Google Scholar 

  12. Heinemann,B.: Teilklassen der selbst-modifizierenden Netze, Fachb. Informatik, Univ. Hamburg, Bericht FBI-HH-B-69/80 (1980), see also: Subclasses of Self-modifying Nets, Proc. European Workshop on Application and Theory Of Petri Nets Strasbourg, (1980)

    Google Scholar 

  13. Jantzen, M. and Valk, R.: Formal Properties of Place/transition Nets, in [4]

    Google Scholar 

  14. Jensen,K.: Extended and Hyper Petri Nets, Computer Sci. Dep., Aarhus Univ., DAIMI TR-5 (1978).

    Google Scholar 

  15. Jensen,K.: Coloured Petri Nets and the Invariant Method, Aarhus Univ., DAIMI PB-104 (1979).

    Google Scholar 

  16. Jensen,K.: How to find Invariants for Coloured Petri Nets, Computer Sci. Dep. Aarhus Univ., DAIMI PB-120 (1980) (see also these proceedings)

    Google Scholar 

  17. Keramidis,S. and Grote, W., Beiträge zur Lösung des Verklemmungsproblems in prioritätsfreien Betriebsmittelmaschinen und Petri-Netzen, Arbeitsber. Inst. für Math. Masch. und Datenverarbeitung, Univ. Erlangen, Band 12, Nr. 9. (1979)

    Google Scholar 

  18. Lautenbach, K.: Exakte Bedingungen der Lebendigkeit für eine Klasse von Petri-Netzen, GMD-Bonn, Bericht Nr. 82 (1973)

    Google Scholar 

  19. Noe, J.D.: Nets in Modelling and Simulation, in [4]

    Google Scholar 

  20. Prinoth, R.: Eigenschaften färbbarer Petri-Netze, Theor.Computer Sci., Lec. Notes in Computer Sci., No 48, Springer, Berlin, (1977) 306–318

    Google Scholar 

  21. Roucairol,G.: Contribution à l'étude des équivalences syntaxiques et transformation de programmes parallèlles, Thèse d'Etat, Univ. Paris VI, (1978).

    Google Scholar 

  22. Schiffers,M. and Wedde,H.: Analyzing Program Solutions of Coordination Problems by CP-Nets, MFCS 1978, Lec.Notes in Computer Sci.No 64,Berlin (1978),462–473.

    Google Scholar 

  23. Sifakis, J.: Le Controle des Système asynchronique: Concepts, Proprietés, Analyse s statique, Thèse, Univ. Sci. et Médicale, Grenoble (1979).

    Google Scholar 

  24. Valk,R.: Self-modifying Nets, Inst. f. Informatik, Univ. Hamburg, Bericht IFI-HH-B-34/77, (1977).

    Google Scholar 

  25. Valk, R.: Self-modifying Nets, a Natural Extension of Petri Nets, ICALP 1978, Lect.Not.in Computer Sci.,No 62, Springer, Berlin (1978) 464–476

    Google Scholar 

  26. Valk, R.: On the Computational Power of Extended Petri Nets, MFCS 1978, Lect.Not. in Computer Sci, No 64, Springer, Berlin (1978), 526–535.

    Google Scholar 

  27. Zervos,C.R. and Irani,K.B.: Colored Petri Nets: Their Properties and Applications, Univ. of Michigan, RADC-TR-77-246 (1977).

    Google Scholar 

  28. Zuse, K.: Petri-Netze aus der Sicht des Ingenieurs, Vieweg, Braunschweig (1980).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fachbereich Informatik, Universität Hamburg, Schlüterstraße 70, D-2000, Hamburg 13

    Rüdiger Valk

Authors
  1. Rüdiger Valk
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jozef Gruska Michal Chytil

Rights and permissions

Reprints and permissions

Copyright information

© 1981 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Valk, R. (1981). Generalizations of Petri nets. In: Gruska, J., Chytil, M. (eds) Mathematical Foundations of Computer Science 1981. MFCS 1981. Lecture Notes in Computer Science, vol 118. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10856-4_80

Download citation

  • DOI: https://doi.org/10.1007/3-540-10856-4_80

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-10856-6

  • Online ISBN: 978-3-540-38769-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation