A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Encoding Synchronous Interactions Using Labelled Petri Nets
[chapter]
2014
Lecture Notes in Computer Science
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
doi:10.1007/978-3-662-43376-8_1
fatcat:xapunbga7rbjvgut6i44ebctii