A Petri net interpretation of open reconfigurable systems

DOI10.3233/FI-2013-784zbMATH Open1283.68253OpenAlexW1555362420MaRDI QIDQ4914293FDOQ4914293

Authors: Hanna Klaudel, Raymond Devillers, Frédéric Peschanski 

Publication date: 18 April 2013

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2013-784

Recommendations

• A Petri net interpretation of open reconfigurable systems
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Petri net semantics of the finite \(\pi\)-calculus terms
• A Petri Net Translation of π-Calculus Terms
• A compositional Petri net translation of general \(\pi\)-calculus terms

zbMATH Keywords

iterationPetri netspi-calculusreconfigurable systems

Mathematics Subject Classification ID

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

Cited In (3)

• Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
• Overview of reconfigurable Petri nets
• A Petri net interpretation of open reconfigurable systems

This page was built for publication: A Petri net interpretation of open reconfigurable systems

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