The semantics of capacities in P/T nets
Advances in Petri nets 1989
Information and Computation
Diamond properties of elementary net systems
Fundamenta Informaticae
Petri nets and automata with concurrency relations—an adjunction
Semantics of programming languages and model theory
Reasoning about Algebraic Generalisation of Petri Nets
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
A survey of basic net models and modular net classes
Advances in Petri Nets 1992, The DEMON Project
Petri Nets over Partial Algebra
Unifying Petri Nets, Advances in Petri Nets
Semantics of petri nets: a comparison
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Process semantics of Petri nets over partial algebra
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Hi-index | 0.00 |
In the paper we study "first consume then produce" and "first produce then consume" causality of transition firings in Petri nets over partial algebra. We show that both causalities may be described by simple algebraic operations on transition systems, namely the compatible and linear operation. Thus, weak semantics (weak marking graph) corresponding to the "first consume then produce" causality is constructed by compatible operation on related net. Strong semantics (strong marking graph), which corresponds to consumption and production in any order, i.e., to combination of both causalities, is given by intersection of compatible and linear image of the related net. Furthermore, it is shown that the classes of weak and strong marking graphs of all Petri nets over arbitrary partial groupoids are equivalent up to isolated markings. The same equivalence is shown for classes of weak and strong marking graphs of all Petri nets over partial groupoids embeddable into Abelian groups.