Advertisement

Processes in Petri nets

  • Peter H. Starke
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 117)

Keywords

Partial Ordering Finite Subset Empty Word Parallel Product Algebraic Characterization 
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.

8. References

  1. (Gra79).
    J. Grabowski: On partial languages. Preprint 40/79, Sekt. Math., Humboldt-Univ., 1979. To appear in Fundamenta Informaticae (Warszawa).Google Scholar
  2. (Maz77).
    A. Mazurkiewicz: Concurrent program schemes and their verification. DAIMI PB 78, Aarhus 1977.Google Scholar
  3. (NTA80).
    Net Theory and Application. Lecture Notes in Computer Sci. 84 (1980).Google Scholar
  4. (Rei80).
    W. Reisig: Processes of marked arc-weighted nets. Petri Nets and Related System Models Newsletter 5 (1980) 13–15.Google Scholar
  5. (STa80).
    P.H. Starke: Petri-Netze. DVW Berlin, 1980.Google Scholar
  6. (Sta81).
    P.H. Starke: Processes in Petri nets. Elektron. Informationsverarbeitung u. Kybernetik 17 (1981) No. 4–6.Google Scholar
  7. (Win79).
    J. Winkwoski: An algebraic approach to concurrency. Lecture Notes in Computer Sci. 74 (1979) 523–532.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1981

Authors and Affiliations

  • Peter H. Starke
    • 1
  1. 1.Sektion Mathematik der Humboldt-Universität zu BerlinBerlin

Personalised recommendations