Open AccessHigh-Level Petri Nets
Author(s) -
Kurt Villads Jensen
Publication year - 1984
Publication title -
daimi pb
Language(s) - English
Resource type - Journals
eISSN - 2245-9316
pISSN - 0105-8517
DOI - 10.7146/dpb.v11i151.7425
Subject(s) - petri net , stochastic petri net , process architecture , computer science , predicate (mathematical logic) , formalism (music) , programming language , petri dish , theoretical computer science , art , musical , biology , visual arts , genetics
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.