Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri ...
Reference
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, and Barbara König. Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. Logical Methods in Computer Science, 4(4:3), 2008.
Suggested BibTeX entry:
@article{BCEHK,
author = {Paolo Baldan and Andrea Corradini and Hartmut Ehrig and Reiko Heckel and Barbara K{\"o}nig},
journal = {Logical Methods in Computer Science},
number = {4:3},
title = {Bisimilarity and Behaviour-Preserving Reconfigurations of Open {P}etri Nets},
volume = {4},
year = {2008}
}
