@article{lmcs:1165, title = {Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets}, author = {Paolo Baldan and Andrea Corradini and Hartmut Ehrig and Reiko Heckel and Barbara König}, url = {https://lmcs.episciences.org/1165}, doi = {10.2168/LMCS-4(4:3)2008}, journal = {Logical Methods in Computer Science}, issn = {1860-5974}, volume = {Volume 4, Issue 4}, eid = 3, year = {2008}, month = {Oct}, keywords = {Computer Science - Logic in Computer Science, F.4.1, D.2.2, D.3.1}, }