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. Logical Methods in Computer Science, 4(4:3), 2008.

Suggested BibTeX entry:

@article{BCEHK,
    author = {Paolo Baldan and Andrea Corradini and Hartmut Ehrig and Reiko Heckel and Barbara K{\"o}nig},
    journal = {Logical Methods in Computer Science},
    number = {4:3},
    title = {Bisimilarity and Behaviour-Preserving Reconfigurations of Open {P}etri Nets},
    volume = {4},
    year = {2008}
}



See www.lmcs-online.org ...Conference version
© University of Duisburg-Essen, Theoretical Computer Science group