Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets

DOI10.2168/LMCS-4(4:3)2008zbMath1161.68034MaRDI QIDQ5901534

Paolo Baldan, Reiko Heckel, Barbara König, Andrea Corradini, Hartmut Ehrig

Publication date: 29 April 2009

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Related Items (3)

Modeling dynamic reconfigurations in Reo using high-level replacement systems ⋮ Modal Open Petri Nets ⋮ Bayesian network semantics for Petri nets

This page was built for publication: Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets