Finite-net Multi-CCS is a CCS-like calculus which is able to model atomic sequences of actions and, together with parallel composition, also multi-party synchronization. This calculus is equipped with a labeled transition system semantics and also with an unsafe P/T Petri net semantics, which is sound w.r.t. the transition system semantics. For any process p of the calculus, the net associated to p by the semantics has always a finite number of places, but it has a finite number of transitions only for so-called well-formed processes. The main result of the paper is that well-formed finite-net Multi-CCS processes are able to represent all finite, statically reduced, P/T Petri nets.
Gorrieri, R. (2015). Language representability of finite P/T nets. Heidelberg : Springer Verlag [10.1007/978-3-319-25527-9_17].
Language representability of finite P/T nets
GORRIERI, ROBERTO
2015
Abstract
Finite-net Multi-CCS is a CCS-like calculus which is able to model atomic sequences of actions and, together with parallel composition, also multi-party synchronization. This calculus is equipped with a labeled transition system semantics and also with an unsafe P/T Petri net semantics, which is sound w.r.t. the transition system semantics. For any process p of the calculus, the net associated to p by the semantics has always a finite number of places, but it has a finite number of transitions only for so-called well-formed processes. The main result of the paper is that well-formed finite-net Multi-CCS processes are able to represent all finite, statically reduced, P/T Petri nets.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.