Sequential and concurrent behaviour in Petri net theory
Theoretical Computer Science
Information and Computation
Information and Computation
Process semantics for place/transition nets with inhibitor and read arcs
Fundamenta Informaticae - Special issue prepared in tribute to Peter Ernst on the occasion of his retirement
Contextual Petri nets, asymmetric event structures, and processes
Information and Computation
Unifying Petri Nets, Advances in Petri Nets
Unifying Petri Nets, Advances in Petri Nets
Partial Order Semantics and Read Arcs
MFCS '97 Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science
Algebraic Models for Contextual Nets
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Parameterized Net Classes: A Uniform Approach to Petri Net Classes
Unifying Petri Nets, Advances in Petri Nets
Petri Nets over Partial Algebra
Unifying Petri Nets, Advances in Petri Nets
Unifying Petri Nets, Advances in Petri Nets
Rewriting Logic as a Unifying Framework for Petri Nets
Unifying Petri Nets, Advances in Petri Nets
Process semantics of general inhibitor nets
Information and Computation
Synchronous + Concurrent + Sequential = Earlier than + Not later than
ACSD '06 Proceedings of the Sixth International Conference on Application of Concurrency to System Design
Proceedings of the 21st international conference on Application and theory of petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Process semantics of Petri nets over partial algebra
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Process semantics of P/T-nets with inhibitor arcs
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
On synchronicity and concurrency in Petri nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Hi-index | 0.00 |
In this paper, we show how to obtain causal semantics distinguishing "earlier than" and "not later than" causality between events from algebraic semantics of Petri nets. Janicki and Koutny introduced so called stratified order structures (so-structures) to describe such causal semantics. To obtain algebraic semantics, we redefine our own algebraic approach generating rewrite terms via partial operations of synchronous composition, concurrent composition and sequential composition. These terms are used to produce so-structures which define causal behavior consistent with the (operational) step semantics. For concrete Petri net classes with causal semantics derived from processes minimal so-structures obtained from rewrite terms coincide with minimal so-structures given by processes. This is demonstrated for elementary nets with inhibitor arcs.