Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets.

Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara Knig

Browse the full CALCO paper archive.