Skip to main content
SpringerLink
Log in

CCS and petri nets

  • Conference paper
  • First Online:
Book cover Semantics of Systems of Concurrent Processes (LITP 1990)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 469))

Included in the following conference series:

Abstract

In the usual semantics of CCS-like languages, parallelism is reduced to non-deterministic interleaving of actions. As an alternative semantic model for CCS with a clear distinction between concurrency and nondeterminism, Petri nets may be used. This paper gives an introduction to Petri net semantics for CCS. Two approaches are considered: a compositional approach where semantic operations are defined for Petri nets explicitly, and an operational approach using Plotkin-style transition rules which is particularly convenient for infinite processes. It is discussed which class of CCS programs is representable by finite nets.

supported by the Esprit Basic Research Action No. 3148 DEMON (Design Methods Based on Nets).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J.A. Bergstra, J.W. Klop: Process Algebra for Synchronous Communication, Information and Control, Vol. 60, No. 1–3, pp. 109–137, 1984

    Google Scholar 

  2. E. Best: Weighted Basic Petri Nets: Proc. Concurrency 88 (F.H. Vogt ed.), LNCS 335, Springer-Verlag, pp. 257–276, 1988

    Google Scholar 

  3. E. Best, R. Devillers, A. Kiehn, L. Pomello: Fully Concurrent Bisimulation, Technical Report LIT 202, Université Libre de Bruxelles, Laboratoire d'Informatique Theorique, 1989

    Google Scholar 

  4. G. Boudol: Computations of Distributed Systems, Part 1: Flow Event Structures and Flow Nets, report INRIA Sophia Antipolis, to appear

    Google Scholar 

  5. G. Boudol, I. Castellani: Permutation of Transitions: an Event Structure Semantics for CCS and SCCS, Proc. REX School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, Noortwijkerhout (J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds.), LNCS 354, Springer-Verlag, pp. 411–427, 1989

    Google Scholar 

  6. F. de Cindio, G. de Michelis, L. Pomello, C. Simone: Milner's Communicating Systems and Petri Nets, Selected Papers from the 3rd European Workshop on Application and Theory of Petri Nets, Springer Informatik Fachberichte 66, pp. 40–79, 1983

    Google Scholar 

  7. P. Degano, R. De Nicola, U. Montanari: Partial Ordering Derivations for CCS: Proc. FCT 85 (L. Budach, ed.), LNCS 199, Springer-Verlag, pp. 520–533, 1985

    Google Scholar 

  8. P. Degano, R. De Nicola, U. Montanari: A New Operational Semantics for CCS based on Condition/Event Systems, nota interna B4–42, Dept. of Computer Science, Univ. Pisa, 1986, see also: P. Degano, R. De Nicola, U. Monanari: CCS is an (Augmented) Contact-Free C/E System, Mathematical Models for the Semantics of Parallelism, Advanced School, Rome, LNCS 280, Springer-Verlag, pp. 144–164, 1987

    Google Scholar 

  9. P. Degano, R. De Nicola, U. Montanari: A Distributed Operational Semantics for CCS Based on Condition/Event Systems, Acta Informatica 26, pp. 59–91, 1988

    Google Scholar 

  10. P. Degano, R. De Nicola, U. Montanari: On the Consistency of’ Truly Concurrent’ Operational and Denotational Semantics. Proc. Symposium on Logic in Computer Science (LICS) Edinburgh, pp. 133–141, 1988

    Google Scholar 

  11. P. Degano, R. Gorrieri, S. Marchetti: An Exercise in Concurrency: a CSP Process as a Condition/Event System: Advances in Petri Nets 1988 (G. Rozenberg, ed.), LNCS 340, Springer-Verlag, pp. 85–105, 1988

    Google Scholar 

  12. R.J. van Glabbeek: Comparative Concurrency Semantics and Refinement of Actions, Dissertation, Vrije Universiteit te Amsterdam, 1990

    Google Scholar 

  13. R.J. van Glabbeek, U. Goltz: Refinement of Actions in Causality Based Models, Proc. REX Workshop on Stepwise Refinement (J.W. de Bakker, W.-P. de Roever, G. Rozenberg, ed.), LNCS 430, Springer-Verlag, pp. 267–300, 1990

    Google Scholar 

  14. R.J. van Glabbeek, F.W. Vaandrager: Petri Net Models for Algebraic Theories of Concurrency, Proc. PARLE, Vol. II, LNCS 259, Springer-Verlag, pp. 224–242, 1987

    Google Scholar 

  15. U. Goltz: Über die Darstellung von CCS-Programmen durch Petrinetze, GMD-Bericht Nr. 172, Oldenbourg Verlag, 1988

    Google Scholar 

  16. U. Goltz: On Representing CCS Programs by Finite Petri Nets, Proc. MFCS 88, LNCS 324, Springer-Verlag, pp. 339–350, 1988

    Google Scholar 

  17. U. Goltz, A. Mycroft: On the Relationship of CCS and Petri Nets, Proc. ICALP 84, LNCS 172, Springer-Verlag, pp. 196–208, 1984

    Google Scholar 

  18. U. Goltz, W. Reisig: The Non-Sequential Behaviour of Petri Nets, Information and Control, Vol. 57, Nos. 2–3, pp. 125–147, 1983

    Google Scholar 

  19. U. Goltz, W. Reisig: CCS-Programs as Nets with Individual Tokens, Advances in Petri Nets 1984, LNCS 188, Springer-Verlag, pp. 169–196, 1985

    Google Scholar 

  20. C.A.R. Hoare: Communicating Sequential Processes, Prentice Hall, 1985

    Google Scholar 

  21. R. Milner: A Complete Inference System for a Class of Regular Behaviours, Journal of Computer and System Sciences, Vol. 28, pp. 439–466, 1984

    Google Scholar 

  22. R. Milner: Communication and Concurrency, Prentice Hall, 1989

    Google Scholar 

  23. E.-R. Olderog: Operational Petri Net Semantics for CCSP, Advances in Petri Nets 1987, LNCS 266, Springer-Verlag, pp. 196–223, 1987

    Google Scholar 

  24. E.-R. Olderog: Strong Bisimilarity on Nets: A New Concept for Comparing Net Semantics, Proc. REX School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, Noortwijkerhout (J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds.), LNCS 354, Springer-Verlag, pp. 549–573, 1989

    Google Scholar 

  25. E.-R. Olderog, U. Goltz, R.J. van Glabbeek: Combining Compositionality and Concurrency, Summary of a GMD-Workshop, Königswinter March 1988, Arbeitspapiere der GMD 320, Sankt Augustin, 1988

    Google Scholar 

  26. D. Park: Concurrency and Automata on Infinite Sequences, Proc. Theoretical Computer Science (5th GI-Conference), LNCS 104, Springer-Verlag, pp. 167–183, 1981

    Google Scholar 

  27. C.A. Petri: Non-Sequential Processes, Interner Bericht 77-05, GMD, Institut für Informationssystemforschung, 1977

    Google Scholar 

  28. A. Rabinovich, B.A. Trakhtenbrot: Behaviour Structures and Nets, Fundamenta Informaticae Vol. 11, No. 4, pp. 357–404, 1988

    Google Scholar 

  29. W. Reisig: Partial Order Semantics versus Interleaving Semantics for CSP-like Languages and its Impact on Fairness, Proc. ICALP 84, Antwerp (J. Paredaens, ed.), LNCS 172, Springer-Verlag, pp. 403–413, 1984

    Google Scholar 

  30. W. Reisig: Petri Nets, EATCS Monographs on Theoretical Computer Science Vol. 4, Springer-Verlag, 1985

    Google Scholar 

  31. D. Taubner: Finite Representations of CCS and TCSP Programs by Automata and Petri Nets, LNCS 369, Springer-Verlag, 1989

    Google Scholar 

  32. G. Winskel: Event Structure Semantics for CCS and Related Languages, Proc. ICALP 82, LNCS 224, Springer-Verlag, 1982

    Google Scholar 

  33. G. Winskel: A New Definition of Morphism on Petri Nets, Proc. STACS 84, LNCS 166, Springer-Verlag, pp.140–150, 1984

    Google Scholar 

  34. G. Winskel: Event Structures, Petri Nets: Applications and Relationships to Other Models of Concurrency, LNCS 255, Springer-Verlag, pp. 325–392, 1987

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Gesellschaft für Mathematik und Datenverarbeitung, Postfach 1240, D-5205, Sankt Augustin 1

    Ursula Goltz

Authors
  1. Ursula Goltz
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Irène Guessarian

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag

About this paper

Cite this paper

Goltz, U. (1990). CCS and petri nets. In: Guessarian, I. (eds) Semantics of Systems of Concurrent Processes. LITP 1990. Lecture Notes in Computer Science, vol 469. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53479-2_14

Download citation

  • DOI: https://doi.org/10.1007/3-540-53479-2_14

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-53479-2

  • Online ISBN: 978-3-540-46897-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation