TY - RPRT TI - Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets AU - Paolo Baldan AU - Andrea Corradini AU - Hartmut Ehrig AU - Reiko Heckel AU - Barbara König PY - 2008 DO - 10.2168/lmcs-4(4:3)2008 UR - https://arxiv.org/abs/0809.4115 ID - 0809.4115 ER -