High-Level Petri Nets

Authors

  • Kurt Jensen

DOI:

https://doi.org/10.7146/dpb.v11i151.7425

Abstract

This paper combines two closely related net models, predicate/transition nets and coloured Petri nets, into a new net model called high-level Petri nets. The new model is intended to combine the qualities of the two old models into a single formalism, and we propose in the future to use high-level Petri nets instead of both predicate/transition nets and coloured Petri nets.

Author Biography

Kurt Jensen

Downloads

Published

1984-10-01

How to Cite

Jensen, K. (1984). High-Level Petri Nets. DAIMI Report Series, 11(151). https://doi.org/10.7146/dpb.v11i151.7425

Issue

No. 151 (1982): PB-151 High-Level Petri Nets

Section

Articles

License

Creative Commons License

Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.