A Petri Net Semantics for - Calculus ?


A distributed semantics for-calculus, based on P/T Petri nets with inhibitor arcs, is presented. This net semantics is sound w.r.t. the original early transition system semantics: the interleaving semantics of an agent p is retrievable from the net by considering the inter-leaving marking graph for the associated marking dec(p). Furthermore,-calculus is… (More)


Cite this paper

@inproceedings{Busi1995APN, title={A Petri Net Semantics for - Calculus ?}, author={Nadia Busi and Roberto Gorrieri}, year={1995} }