Abstract
A new class of Petri Nets, called Augmented Condition/Event Systems is defined, by slightly relaxing the condition for enabling events. One system, called ΣCCS, from this class is used to give a new operational semantics to Milner's Calculus of 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.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
De Cindio, F., De Michelis, G., Pomello, L. and Simone C.: Milner's Communicating Systems and Petri Nets. In: Selected papers from the 3 rd European Workshop on Applications and Theory of Petri Nets, Informatik Fachberichte 66, pp. 40–59, Springer-Verlag, 1983.
Degano, P., De Nicola, R. and Montanari, U.: Partial Ordering Derivations for CCS. Proc. 5th Int. Conf. on Fundamentals of Computation Theory (L. Budah, ed.), LNCS 199, pp. 520–523, Springer-Verlag, 1985.
Degano, P., De Nicola, R. and Montanari, U.: Observational Equivalences for Concurrency Models. To appear in Proc. IFIP Workshop on Formal Description of Programming Concepts, Ebberup (Dk), 1986 (M. Wirsing, ed.), North-Holland.
Degano, P., De Nicola, R. and Montanari, U.: A Partial Ordering Semantics for CCS, forthcoming.
Degano, P. and Montanari, U.: Concurrent Histories: A Basis for Observing Distributed Systems. To appear in Journal of Computer and System Sciences.
Genrich, H.J., Lautenbach, K. and Thiagarajan, P.S.: Elements of General Net Theory. In: Net Theory and Applications (W. Brauer, ed.) LNCS 84, pp. 21–163, Springer-Verlag, 1980.
Goltz, U. and Mycroft, A.: On the Relationships of CCS and Petri Nets. Proc. 11th ICALP (J. Paredaens, ed.), LNCS 172, pp. 196–208, Springer-Verlag, 1984.
Milner, R.: A Calculus of Communicating Systems. LNCS 92, Springer-Verlag, 1980.
Plotkin, G.: A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, Aarhus University, Department of Computer Science, Aarhus, 1981.
Reisig, W.: Petri Nets: An Introduction, EATCS Monographs on Theoretical Computer Science, Springer-Verlag, 1985.
Winskel, G.: Event Structure Semantics for CCS and Related Languages, Proc. 9th ICALP (M. Nielsen and E. M. Schmidt, eds.), LNCS 140, pp. 561–567, Springer-Verlag, 1982.
Winskel, G.: A New Definition of Morphism on Petri Nets, Proc. 1st Symposium on Theoretical Aspects of Computer Science, (M. Fontet and K. Melhorn, eds.), LNCS 166, pp. 140–150, Springer-Verlag, 1984.
Winskel, G.: Categories of Models of Concurrency, Proc. Seminar on Concurrency, (S.D. Brookes, A.W. Roscoe, G. Winskel, eds.), LNCS 197, pp. 246–267, Springer-Verlag, 1985.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Degano, P., De Nicola, R., Montanari, U. (1987). CCS is an (augmented) contact free C/E system. In: Zilli, M.V. (eds) Mathematical Models for the Semantics of Parallelism. Lecture Notes in Computer Science, vol 280. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18419-8_13
Download citation
DOI: https://doi.org/10.1007/3-540-18419-8_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18419-5
Online ISBN: 978-3-540-47960-4
eBook Packages: Springer Book Archive