Paolo Baldan Andrea Corradini Hartmut Ehrig Reiko Heckel Barbara König Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. 126-142 2007 conf/calco/2007 CALCO http://dx.doi.org/10.1007/978-3-540-73859-6_9 db/conf/calco/calco2007.html#BaldanCEHK07