Advertisement

A note on observable occurrence nets

  • C. Fernandez
  • M. Nielsen
  • P. S. Thiagarajan
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 188)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    C. Fernandez and P.S. Thiagarajan: D-continuous Causal Nets: A Model of Non-Sequential Processes. TCS 28 (1984), 171–196.CrossRefGoogle Scholar
  2. [2]
    H.J. Genrich and E. Stankiewicz-Wiechno: A Dictionary of Some Basic Notions of Net Theory. Lecture Notes in Computer Science, Vol. 84, Springer-Verlag, Berlin, Heidelberg, New York (1980), 519–531.Google Scholar
  3. [3]
    U. Goltz and W. Reisig: The Non-Sequential Behaviour of Petri Nets. To appear in Information and Control.Google Scholar
  4. [4]
    C.A. Petri: Concurrency. Lecture Notes in Computer Science, Vol. 84, Springer-Verlag, Berlin, Heidelberg, New York (1980), 251–261.Google Scholar
  5. [5]
    G. Winskel: Events in Computation. Ph.D. Thesis, University of Edinburgh, Edinburgh, Great Britain (1980).Google Scholar
  6. [6]
    C. Fernández and P.S. Thiagarajan: A Lattice Theoretic View of K-Density. Arbeitspapiere der GMD Nr. 76 (1983). GMD-F1, 5205 St. Augustin 1, Postfach 1240, W. Germany.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • C. Fernandez
    • 1
  • M. Nielsen
    • 2
  • P. S. Thiagarajan
    • 2
  1. 1.GMDSt. AugustinW. Germany
  2. 2.Computer Science DepartmentAarhus UniversityDenmark

Personalised recommendations