Csp-programs as nets with individual tokens

  • Ursula Goltz
  • Wolfgang Reisig
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 188)


We define a subclass of predicate/transition-nets and show how to translate CSP-programs into such nets. We consider a subset of CSP for which Hennessy, Li and Plotkin have given an operational semantics in [HLP]. We show that the firing sequences of our net translation correspond to this operational semantics. Additionally, we also give a non-interleaving semantics to CSP by considering unfoldings and processes of the net translation.

This enables us to analyse CSP-programs applying net theoretic methods.


Operational Semantic Initial Place Translation Function Firing Sequence Firing Rule 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [BG]
    E. Best, U. Goltz: "Reachable Markings and Discrete Processes", Internal report, 1983Google Scholar
  2. [GL]
    H.J. Genrich, K. Lautenbach: "System Modelling with High-Level Petri-Nets", TCS 13 (1981) 109–136CrossRefGoogle Scholar
  3. [GLT]
    H.J. Genrich, K. Lautenbach, P.S. Thiagarajan: "Elements of General Net Theory", in: Net Theory and Applications, LNCS 84, 1980Google Scholar
  4. [GM1]
    U. Goltz, A. Mycroft: "On the Relationship of CCS and Petri Nets", in: proc. ICALP 1984, LNCS 172Google Scholar
  5. [GM2]
    U. Goltz, A. Mycroft: "Net Behaviour Representations and Equivalence Notions", unpublished manuscriptGoogle Scholar
  6. [GR]
    U. Goltz, W. Reisig: "The Non-Sequential Behaviour of Petri Nets", Information and Control, Vol. 57, Nos. 2–3, May/June 1983Google Scholar
  7. [GV]
    U. Goltz, U. Vogt: "Processes of Relation Nets", in: Petri Nets and Related Models, Newsletter No. 14, June 1983Google Scholar
  8. [Ho]
    C.A.R. Hoare: "Communicating Sequential Processes", Communications of the ACM Vol. 21, No. 8, (1978), 666–677CrossRefGoogle Scholar
  9. [HLP]
    M. Hennessy, W. Li, G. Plotkin: "A first Attempt at Translating CSP into CCS", in: Proceedings of the 2nd International Conference on Distributed Computing, Paris 1981, IEEE, No. 81 CH 1591-7Google Scholar
  10. [Ma]
    David May: "Occam", SIGPLAN Notices, Vol. 18, No. 4, April 1983Google Scholar
  11. [NPW]
    M. Nielsen, G. Plotkin, G. Winskel: "Petri Nets, Event Structures and Domains", TCS 13, No. 1, Jan. 1981Google Scholar
  12. [Re1]
    W. Reisig: A Petri Net Primer", Springer-Verlag 1984, to appearGoogle Scholar
  13. [Re2]
    W. Reisig: "Partial Order Semantics for CSP-like Languages and its Impact on Fairness", in: proc. ICALP 1984, LNCS 172Google Scholar
  14. [Wi]
    G. Winskel: "A New Definition of Morphism on Petri Nets", in: proc. STACS 1984, LNCS 166Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • Ursula Goltz
    • 1
  • Wolfgang Reisig
    • 2
  1. 1.Lehrstuhl für Informatik IIRWTH AachenAachenWest - Germany
  2. 2.Gesellschaft für Mathematik und Datenverarbeitung - F1West - Germany

Personalised recommendations