Maximality-Based Structural Operational Semantics for Petri Nets
Djamel Eddine Saïdouni, Nabil Belala, Messaouda Bouneb, Lotfi Béji, Samir Otmane, Azgal Abichou · AIP conference proceedings · 2009
The goal of this work is to exploit an implementable model, namely the maximality‐based labeled transition system, which permits to express true‐concurrency in a natural way without splitting actions on their start and end events. One can do this by giving a maximality‐based structural operational semantics for the model of Place/Transition Petri nets in terms of maximality‐based labeled transition systems structures.