Skip to main content
SpringerLink
Log in

A method to compare the descriptive power of different types of Petrinets

  • Communications
  • Conference paper
  • First Online:
Mathematical Foundations of Computer Science 1980 (MFCS 1980)

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

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Brand, D.: Algebraic simulation between parallel programs. IBM Research Report RC 7206 (June 1978).

    Google Scholar 

  2. Gourlay, J.S., Rounds, W.C. and Statman, R.: On properties preserved by contractions of concurrent systems. Semantics of Concurrent Computation, Evian 1979, G. Kahn (ed.), Lecture Notes in Computer Science, vol. 70, Springer Verlag 1979, 51–63.

    Google Scholar 

  3. Hack, M.: Petri net languages. Technical Report 159, Laboratory for Computer Science, Massachusetts Institute of Technology, March 1976.

    Google Scholar 

  4. Jensen, K.: Extended and hyper Petri nets. DAIMI TR-5, Computer Science Department, Aarhus University, August 1978.

    Google Scholar 

  5. Jensen, K., Kyng, M. and Madsen, O.L.: Delta semantics defined by Petri nets. DAIMI PB-95, Computer Science Department, Aarhus University, March 1979.

    Google Scholar 

  6. Jensen, K.: Coloured Petri nets and the invariant-method. DAIMI PB-104, Computer Science Department, Aarhus University, October 1979.

    Google Scholar 

  7. Keller, R.M.: Formal verification of parallel programs. Comm. ACM 19, 7 (1976), 371–384.

    Google Scholar 

  8. Kwong, Y.S.: On reduction of asynchronous systems. Theoretical Computer Science 5 (1977), 25–50.

    Google Scholar 

  9. Lautenbach, K.: Liveness in Petri nets. Interner Bericht ISF-75-02. 1, GMD Bonn, July 1975.

    Google Scholar 

  10. Milner, R.: An algebraic definition of simulation between programs. Second Int. Joint Conf. on Artificial Intelligence, British Computer Society, 1971, 481–489.

    Google Scholar 

  11. Roucairol, G. and Valk, R.: Reductions of nets and parallel programs. Advanced course on general net theory of processes and systems, Hamburg 1979, H. Fuss (ed.), GMD Bonn, 1979. Also to be published by Springer Verlag, 1980. Note, that detailed comments, numbering of Theorems, etc. refer to the revised version from Springer Verlag.

    Google Scholar 

  12. Zuse, K.: Petri-nets from the engineer's viewpoint. Advanced course on general net theory of processes and systems, Hamburg 1979, H. Fuss (ed.), GMD Bonn, 1979. Also to be published by Springer Verlag, 1980.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, Aarhus University Ny Munkegade, DK-8000, Aarhus C, Denmark

    Kurt Jensen

Authors
  1. Kurt Jensen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

P. Dembiński

Rights and permissions

Reprints and permissions

Copyright information

© 1980 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jensen, K. (1980). A method to compare the descriptive power of different types of Petrinets. In: Dembiński, P. (eds) Mathematical Foundations of Computer Science 1980. MFCS 1980. Lecture Notes in Computer Science, vol 88. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0022516

Download citation

  • DOI: https://doi.org/10.1007/BFb0022516

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-10027-0

  • Online ISBN: 978-3-540-38194-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation