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}
}



See www.unive.it ...Conference version
© University of Duisburg-Essen, Theoretical Computer Science group