Petri net semantics of the finite -calculus terms

MaRDI QIDQ5480176zbMATH OpenFDO

Authors Raymond Devillers, Hanna Klaudel, Maciej Koutny

Publication date 26 July 2006

zbMATH Keywords

graph-theoretic net composition operators

Mathematics Subject Classification ID

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

Recommendations

• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• A Petri Net Translation of π-Calculus Terms
• A compositional Petri net translation of general -calculus terms
• On the Relationship between π-Calculus and Finite Place/Transition Petri Nets
• A polynomial translation of \(\pi \)-calculus (FCP) to safe Petri nets

Cited in

(15)

• From hierarchical BIP to Petri calculus
• Interpreting a finitary pi-calculus in differential interaction nets
• M-nets: a survey
• A Petri Net Translation of π-Calculus Terms
• A polynomial translation of \(\pi \)-calculus (FCP) to safe Petri nets
• scientific article; zbMATH DE number 7339678 (Why is no real title available?)
• Interpreting a Finitary Pi-calculus in Differential Interaction Nets
• A theory of structural stationarity in the \(\pi\)-calculus
• A compositional Petri net translation of general -calculus terms
• On the Relationship between π-Calculus and Finite Place/Transition Petri Nets
• A polynomial translation of \(\pi\)-calculus FCPS to safe Petri nets
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• A Petri net interpretation of open reconfigurable systems
• A Petri net interpretation of open reconfigurable systems
• Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS

This page was built for publication: Petri net semantics of the finite \(\pi\)-calculus terms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5480176)