Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets

DOI10.1007/978-3-540-73859-6_9zbMath1214.68243arXiv0809.4115OpenAlexW1487390603MaRDI QIDQ5901470

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

Publication date: 10 March 2009

Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0809.4115

Mathematics Subject Classification ID

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

Related Items (6)

Coalgebraic Symbolic Semantics ⋮ Towards ``mouldable code via nested code graph transformation ⋮ Transformations in Reconfigurable Place/Transition Systems ⋮ Open Petri Nets: Non-deterministic Processes and Compositionality ⋮ Extensional Petri net ⋮ A formal verification technique for behavioural model-to-model transformations

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