We propose a framework for the specification of behaviour-preserving reconfigurations of systems modelled as Petri nets. The framework is based on open nets, a mild generalisation of ordinary Place/ Transition nets suited to model open systems which might interact with the surrounding environment and endowed with a colimit-based composition operation. We show that natural notions of (strong and weak) bisimilarity over open nets are congruences with respect to the composition operation. We also provide an up-to technique for facilitating bisimilarity proofs. The theory is used to identify suitable classes of reconfiguration rules (in the double-pushout approach to rewriting) whose application preserves the observational semantics of the net. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Baldan, P., Corradini, A., Ehrig, H., Heckel, R., & König, B. (2007). Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4624 LNCS, pp. 126–142). Springer Verlag. https://doi.org/10.1007/978-3-540-73859-6_9
Mendeley helps you to discover research relevant for your work.