Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets-Reference-Cited by-同舟云学术

Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets

Published: Issue: Volume: Page:126-142
ISSN:
Container-title:Algebra and Coalgebra in Computer Science
language:
Short-container-title:

Author:

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

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-73859-6_9.pdf

Reference22 articles.

1. Badouel, E., Llorens, M., Oliver, J.: Modeling concurrent systems: Reconfigurable nets. In: Proc. of PDPTA 2003, vol. 4, pp. 1568–1574. CSREA Press (2003)

2. Lecture Notes in Computer Science;P. Baldan,2001

3. Baldan, P., Corradini, A., Ehrig, H., Heckel, R.: Compositional semantics for open Petri nets based on deterministic processes. Mathematical Structures in Computer Science 15(1), 1–35 (2004)

4. Baldan, P., Corradini, A., Ehrig, H., Heckel, R., König, B.: Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. Technical Report CS-2006-9, Computer Science Department, University Ca’ Foscari of Venice (2006)

5. Lecture Notes in Computer Science;A.M. Bednarczyk,1999

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formally Characterizing the Effect of Model Transformations on System Properties;Formal Aspects of Component Software;2022

2. Extensional Petri net;Formal Aspects of Computing;2019-02-12

3. Modular Indirect Push-Button Formal Verification of Multi-threaded Code Generators;Software Engineering and Formal Methods;2019

4. A formal verification technique for behavioural model-to-model transformations;Formal Aspects of Computing;2018-01

5. Place Bisimulation and Liveness for Open Petri Nets;Dependable Software Engineering: Theories, Tools, and Applications;2016