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. In Proc. of CALCO '07 (Algebra and Coalgebra in Computer Science), pages 126–142. Springer, 2007. LNCS 4624.
Suggested BibTeX entry:
@inproceedings{BCEHK07,
author = {Paolo Baldan and Andrea Corradini and Hartmut Ehrig and Reiko Heckel and Barbara K{\"o}nig},
booktitle = {Proc. of CALCO '07 (Algebra and Coalgebra in Computer Science)},
note = {{LNCS} 4624},
pages = {126--142},
publisher = {Springer},
title = {Bisimilarity and Behaviour-Preserving Reconfigurations of Open {P}etri Nets},
year = {2007}
}
