Advertisement

Generalizations of Petri nets

  • Rüdiger Valk
Invited Lectures
Part of the Lecture Notes in Computer Science book series (LNCS, volume 118)

Keywords

Mutual Exclusion Side Condition Reachability Problem Firing Rule Colour Token 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 2.
    Araki, I. and Kasami, T.: Some Decision Problems related to the Reachability Problem for Petri Nets, Theor.Computer Sci. 3 (1977) 85–104Google Scholar
  3. 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. 4.
    Brauer, W. (ed): Net Theory and Applications, Lecture Notes in Computer Sci., No 84, Springer, Berlin (1979).Google Scholar
  5. 5.
    Burkhard,: Ordered Firing in Petri Nets, to appear in EIK.Google Scholar
  6. 6.
    Claus,V.: The (n,k)-Bounded Emptiness-Problem for Probabilistic Acceptors and related Problems, to appear in Acta Informatica.Google Scholar
  7. 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. 8.
    Fuss, H.E.: AFMG — Ein asynchroner Fluß-Modell-Generator, GMD, Bonn, Bericht Nr. 100, Bonn (1975).Google Scholar
  9. 9.
    Genrich, H.J. and Lautenbach, K.: System Modelling with High-Level Petri Nets, Theor.Computer Sci. 13 (1981) 109–136Google Scholar
  10. 10.
    Genrich, H.J., Lautenbach, K. and Thiagarajan, P.S.: Elements of General Net Theory, in [4]Google Scholar
  11. 11.
    Hack,M.: Petri Net Languages, MIT Lab.for Computer Sci., TR 159, (1976).Google Scholar
  12. 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. 13.
    Jantzen, M. and Valk, R.: Formal Properties of Place/transition Nets, in [4]Google Scholar
  14. 14.
    Jensen,K.: Extended and Hyper Petri Nets, Computer Sci. Dep., Aarhus Univ., DAIMI TR-5 (1978).Google Scholar
  15. 15.
    Jensen,K.: Coloured Petri Nets and the Invariant Method, Aarhus Univ., DAIMI PB-104 (1979).Google Scholar
  16. 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. 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. 18.
    Lautenbach, K.: Exakte Bedingungen der Lebendigkeit für eine Klasse von Petri-Netzen, GMD-Bonn, Bericht Nr. 82 (1973)Google Scholar
  19. 19.
    Noe, J.D.: Nets in Modelling and Simulation, in [4]Google Scholar
  20. 20.
    Prinoth, R.: Eigenschaften färbbarer Petri-Netze, Theor.Computer Sci., Lec. Notes in Computer Sci., No 48, Springer, Berlin, (1977) 306–318Google Scholar
  21. 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. 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. 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. 24.
    Valk,R.: Self-modifying Nets, Inst. f. Informatik, Univ. Hamburg, Bericht IFI-HH-B-34/77, (1977).Google Scholar
  25. 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–476Google Scholar
  26. 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. 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. 28.
    Zuse, K.: Petri-Netze aus der Sicht des Ingenieurs, Vieweg, Braunschweig (1980).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1981

Authors and Affiliations

  • Rüdiger Valk
    • 1
  1. 1.Fachbereich InformatikUniversität HamburgHamburg 13

Personalised recommendations