Skip to main content

1983 | OriginalPaper | Buchkapitel

High-Level Petri Nets

verfasst von : Kurt Jensen

Erschienen in: Applications and Theory of Petri Nets

Verlag: Springer Berlin Heidelberg

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

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.

Metadaten
Titel
High-Level Petri Nets
verfasst von
Kurt Jensen
Copyright-Jahr
1983
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-642-69028-0_12