A Petri Net Interpretation of Open Reconfigurable Systems
From MaRDI portal
Publication:3011889
DOI10.1007/978-3-642-21834-7_12zbMath1330.68212MaRDI QIDQ3011889
Raymond Devillers, Hanna Klaudel, Frédéric Peschanski
Publication date: 29 June 2011
Published in: Applications and Theory of Petri Nets (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-21834-7_12
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Cites Work
- Unnamed Item
- Unnamed Item
- A compositional Petri net translation of general \(\pi\)-calculus terms
- Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS
- On the Relationship between π-Calculus and Finite Place/Transition Petri Nets
- Modelling and Verifying Mobile Systems Using π-Graphs
- An Interview with Robin Milner
- Automata, Languages and Programming