Please use this identifier to cite or link to this item:
Title: Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
Authors: Baldan, P.
Corradini, A.
Ehrig, H.
Heckel, Reiko
Koenig, B.
First Published: 21-Aug-2009
Publisher: IfCoLog (International Federation of Computational Logic)
Citation: Logical Methods in Computer Science, 2008, 4 (4)
Abstract: 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 bisimilarity over open nets are congruences with respect to the composition operation. The considered behavioural equivalences differ for the choice of the observations, which can be single firings or parallel steps. Additionally, we consider weak forms of such equivalences, arising in the presence of unobservable actions. 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.
DOI Link: 10.2168/LMCS-4(4:3)2008
ISSN: 1860-5974
Type: Journal Article
Rights: Creative Commons Attribution-NoDerivs 2.0 Generic (CC BY-ND 2.0)
Description: 1998 ACM Subject Classification: F.3.1, F.4.2.
Appears in Collections:Published Articles, Dept. of Computer Science

Files in This Item:
File Description SizeFormat 
0809.4115.pdfPublisher Version881.83 kBAdobe PDFView/Open

Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.