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. Technical Report CS-2006-9, Dipartimento di Informatica, Università Ca' Foscari di Venezia, 2006.
Suggested BibTeX entry:
@techreport{BCEHK06,
author = {Paolo Baldan and Andrea Corradini and Hartmut Ehrig and Reiko Heckel and Barbara K{\"o}nig},
institution = {Dipartimento di Informatica, Universit\`{a} Ca' Foscari di Venezia},
number = {CS-2006-9},
title = {Bisimilarity and Behaviour-Preserving Reconfigurations of Open {P}etri Nets},
year = {2006}
}

