Schemes for nonsequential processing systems

  • Wolfgang Reisig
Part of the Lecture Notes in Computer Science book series (LNCS, volume 88)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Aho, Hopcroft, Ullmann: The Design and Analysis of Computer Algorithms.— Addison-Wesley Publishing Co., 1974Google Scholar
  2. [2]
    Genrich, Lautenbach, Thiagarajan: An Overview of Net Theory.— Advanced Course on General Net Theory of Processes and Systems. Hamburg, 1979Google Scholar
  3. [3]
    Hopcroft, Ullmann: Formal Languages and their Relation to Automata.— Addison-Wesley Publishing Co., 1969Google Scholar
  4. [4]
    A. Mazurkiewicz: Concurrent Program Schemes and their Interpretation.— University of Aarhus, DAIMI PB-78.Google Scholar
  5. [5]
    C.A. Petri: Nichtsequentielle Prozesse.— GMD-ISF interner Bericht 76-6, Juni 1976.Google Scholar
  6. [6]
    C.A. Petri: General Net Theory.— Proceedings of the Joint IBM/University of Newcastle-upon-Tyne Seminar. B. Shaw (Ed.), 1976.Google Scholar
  7. [7]
    W. Reisig: Zur Verwendung von Petrinetz-Morphismen bei der Systemkonstruktion.— GI-Fachtagung “Formale Modelle für Informationssysteme”, Informatik Fachbericht Nr. 21. Springer Verlag 1979Google Scholar
  8. [8]
    J. Winkowski: An Algebraic Approach to Concurrency.— 8th Symposium on Mathematical Foundations of Computer Science (MFCS), Lecture Notes in Computer Science 74, Springer Verlag, 1979.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1980

Authors and Affiliations

  • Wolfgang Reisig
    • 1
  1. 1.Lehrstuhl für Informatik II, RWTH AachenAachen

Personalised recommendations