%0 Conference Proceedings
%T Encoding Synchronous Interactions Using Labelled Petri Nets
%+ Università degli Studi di Padova = University of Padua (Unipd)
%+ Laboratoire de l'Informatique du Parallélisme (LIP)
%+ University of Pisa - Università di Pisa
%A Baldan, Paolo
%A Bonchi, Filippo
%A Gadducci, Fabio
%A Monreale, Giacoma, V.
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 16th International Conference on Coordination Models and Languages (COORDINATION)
%C Berlin, Germany
%Y David Hutchison
%Y Takeo Kanade
%Y Bernhard Steffen
%Y Demetri Terzopoulos
%Y Doug Tygar
%Y Gerhard Weikum
%Y Eva Kühn
%Y Rosario Pugliese
%Y Josef Kittler
%Y Jon M. Kleinberg
%Y Alfred Kobsa
%Y Friedemann Mattern
%Y John C. Mitchell
%Y Moni Naor
%Y Oscar Nierstrasz
%Y C. Pandu Rangan
%I Springer
%3 Coordination Models and Languages
%V LNCS-8459
%P 1-16
%8 2014-06-03
%D 2014
%R 10.1007/978-3-662-43376-8_1
%K Communicating sequential processes (CSP)
%K labelled Petri nets
%K net encoding of processes
%K synchronous interaction
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X We present an encoding of (bound) CSP processes with replication into Petri nets with labelled transitions. Through the encoding, the firing semantics of Petri nets models the standard operational semantics of CSP processes, which is both preserved and reflected. This correspondence allows for describing by net semantics the standard CSP observational equivalences. Since the encoding is modular with respect to process syntax, the paper puts on a firm ground the technology transfer between the two formalisms, e.g. recasting into the CSP framework well-established results like decidability of coverability for nets. This work complements previous results concerning the encoding of asynchronous interactions, thus witnessing the expressiveness of (open) labelled nets in modelling process calculi with alternative communication patterns.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01290063/document
%2 https://inria.hal.science/hal-01290063/file/326181_1_En_1_Chapter.pdf
%L hal-01290063
%U https://inria.hal.science/hal-01290063
%~ ENS-LYON
%~ CNRS
%~ INRIA
%~ UNIV-LYON1
%~ LIP_PLUME
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-LNCS-8459
%~ INRIA-AUT
%~ UDL
%~ UNIV-LYON