High-Level Petri Nets

Forfattere

  • Kurt Jensen

DOI:

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

Resumé

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.

Forfatterbiografi

Kurt Jensen

Downloads

Publiceret

1984-10-01

Citation/Eksport

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

Nummer

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

Sektion

Articles

Licens

Creative Commons License

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