A compositional Petri net translation of general \(\pi\)-calculus terms

DOI10.1007/S00165-008-0079-2zbMath1152.68036OpenAlexW2031373909MaRDI QIDQ939164

Raymond Devillers, Hanna Klaudel, Maciej Koutny

Publication date: 21 August 2008

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-008-0079-2

zbMATH Keywords

Petri netsProcess algebraMobilityCompositional translation

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (6)

Asynchronous Traces and Open Petri Nets ⋮ Encoding Asynchronous Interactions Using Open Petri Nets ⋮ On the Relationship between π-Calculus and Finite Place/Transition Petri Nets ⋮ Timed mobility in process algebra and Petri nets ⋮ A Petri Net Interpretation of Open Reconfigurable Systems ⋮ Non-interference by Unfolding

Uses Software

• MWB
• PEP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Models for name-passing processes: Interleaving and causal
• A multiset semantics for the pi-calculus with replication
• Sequential and concurrent behaviour in Petri net theory
• A fully abstract semantics for causality in the \(\pi\)-calculus
• A calculus of mobile processes. I
• M-nets: An algebra of high-level Petri-nets, with an application to the semantics of concurrent programming languages
• General parameterised refinement and recursion for the M-net calculus
• Petri net algebra
• Canonical prefixes of Petri net unfoldings
• A Petri Net Translation of π-Calculus Terms

This page was built for publication: A compositional Petri net translation of general \(\pi\)-calculus terms