A Petri net interpretation of open reconfigurable systems

DOI10.3233/FI-2013-784MaRDI QIDQ4914293zbMATH OpenOpenAlexFDO

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

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)

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 -calculus terms

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)