In: Proceedings of the 12th International Conference on Application and Theory of Petri Nets, 1991, Gjern, Denmark, pages 329-348. June 1991.
Also in: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 674; Advances in Petri Nets 1993, pages 244-266. Springer-Verlag, 1993.
Abstract: A distributed semantics for CCS is given by implementing Milner's Calculus of Communicating Systems onto a simpler calculus of Place/Transition Petri Nets. The net calculus, called SCONE+, is an extension of SCONE [GM90], which has the finer grained operation of local nondeterministic choice, with some operations for modelling restriction and relabelling. In this way, full CCS can be given a net implementation in a purely algebraic way. The complex CCS operation of global nondeterminism is implemented by means of suitable mapping, which makes explicit the fact that certain CCS transitions are implemented as SCONE+ computations to be executed atomically. To this aim, CCS and SCONE+ are given an operational semantics in algebraic form. In this way, the mapping from CCS transitions to SCONE+ computations becomes simply an algebraic morphism, which can be interpreted as a denotational semantics for CCS having SCONE+ as interpretation domain. The semantics of CCS obtained by quotienting the CCS transition system w.r.t. the implementation mapping is equivalent to the concurrent semantics by ``permutation of transitions''.
Keywords: distributed implementation (of) CCS; place/transition net calculus, SCONE+; local nondeterministic choice; restriction; relabelling; operational semantics; algebraic morphism, (interpreted as) denotational semantics (for CCS).