Advertisement

Eigenschaften färbbarer Petri-Netze

  • R. Prinoth
Vorträge In Der Reihenfolge Des Programms
Part of the Lecture Notes in Computer Science book series (LNCS, volume 48)

Zusammenfassung

Der Begriff der Färbbarkeit führt zur Klassenbildung innerhalb der Petri-Netze; die Klassen zeichnen sich dadurch aus, daß die zu ihnen gehörenden Netze in spezieller Weise durch Zustandsmaschinen und/oder Synchronisationsgraphen überdeckbar sind. Sie machen deutlich die Einschränkung der Zustandsmengen im dynamischen Ablauf und zeigen alternative Ereignisfolgen auf.

Keywords

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

Literaturverzeichnis

  1. [1]
    H. J. Genrich, K. Lautenbach Synchronisationsgraphen Acta Informatica 2, 1973, 143–161Google Scholar
  2. [2]
    M. H. T. Hack Analysis of production schemata by petri nets MAC-TR-94; MIT, 1972Google Scholar
  3. [3]
    K. Lautenbach Exakte Bedingungen der Lebendigkeit für eine Klasse von Petri Netzen Berichte der GMD, BMFT-GMD-82, 1973Google Scholar
  4. [4]
    K. Lautenbach Wegsysteme in Petri-Netzen GI/GMD-Fachtagung über Ansätze zur Organisationstheorie rechnergestützter Informationssysteme, 1974Google Scholar
  5. [5]
    K. Lautenbach Lebendigkeit in Petri-Netzen Interner Bericht 02/75-4-1, 1975Google Scholar
  6. [6]
    C. A. Petri Concepts of net theory Proceedings of symposium and summer school High Tatras, 1973Google Scholar
  7. [7]
    E. Raubold Interpretierbare Netze GMD, IFV-intern, 1975Google Scholar
  8. [8]
    Project MAC conference on concurrent systems and parallel computation ACM, 1970Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1977

Authors and Affiliations

  • R. Prinoth

There are no affiliations available

Personalised recommendations