A new class of Petri Nets, called Augmented Condition/Event Systems is defined, by slightly relaxing the condition for enabling events. A Net from this class called ?ccs is used to give a new operational semantics to Milner's Calculus for Communicating Systems. The set of CCS agents together with the traditional, interleaving based, derivation relation is proved isomorphic to the case graph of ?ccs (when single transitions only are considered).Our achievement is twofold: first we provide CCS with a semantics which is able to describe concurrency and causal dependencies between the actions the various agents can perform; second, we guarantee an adequate linguistic level for the particular class of Petri Nets which can be defined through CCS operators.
A new operational semantics for ccs based on condition/event systems
De Nicola R;
1986
Abstract
A new class of Petri Nets, called Augmented Condition/Event Systems is defined, by slightly relaxing the condition for enabling events. A Net from this class called ?ccs is used to give a new operational semantics to Milner's Calculus for Communicating Systems. The set of CCS agents together with the traditional, interleaving based, derivation relation is proved isomorphic to the case graph of ?ccs (when single transitions only are considered).Our achievement is twofold: first we provide CCS with a semantics which is able to describe concurrency and causal dependencies between the actions the various agents can perform; second, we guarantee an adequate linguistic level for the particular class of Petri Nets which can be defined through CCS operators.File | Dimensione | Formato | |
---|---|---|---|
prod_419839-doc_148554.pdf
accesso aperto
Descrizione: A new operational semantics for ccs based on condition/event systems
Dimensione
2.2 MB
Formato
Adobe PDF
|
2.2 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.