Keywords
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.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Brand, D.: Algebraic simulation between parallel programs. IBM Research Report RC 7206 (June 1978).
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.
Hack, M.: Petri net languages. Technical Report 159, Laboratory for Computer Science, Massachusetts Institute of Technology, March 1976.
Jensen, K.: Extended and hyper Petri nets. DAIMI TR-5, Computer Science Department, Aarhus University, August 1978.
Jensen, K., Kyng, M. and Madsen, O.L.: Delta semantics defined by Petri nets. DAIMI PB-95, Computer Science Department, Aarhus University, March 1979.
Jensen, K.: Coloured Petri nets and the invariant-method. DAIMI PB-104, Computer Science Department, Aarhus University, October 1979.
Keller, R.M.: Formal verification of parallel programs. Comm. ACM 19, 7 (1976), 371–384.
Kwong, Y.S.: On reduction of asynchronous systems. Theoretical Computer Science 5 (1977), 25–50.
Lautenbach, K.: Liveness in Petri nets. Interner Bericht ISF-75-02. 1, GMD Bonn, July 1975.
Milner, R.: An algebraic definition of simulation between programs. Second Int. Joint Conf. on Artificial Intelligence, British Computer Society, 1971, 481–489.
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.
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.
Author information
Authors and Affiliations
Editor information
Rights 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