Advertisement

Schemes for nonsequential processing systems

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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