Skip to main content
Top

1983 | OriginalPaper | Chapter

High-Level Petri Nets

Author : Kurt Jensen

Published in: Applications and Theory of Petri Nets

Publisher: Springer Berlin Heidelberg

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

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 future to use high-level Petri nets instead of both predicate/transition nets and coloured Petri nets.

Metadata
Title
High-Level Petri Nets
Author
Kurt Jensen
Copyright Year
1983
Publisher
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-642-69028-0_12

Premium Partner