Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara KÃ¶nig. Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. Logical Methods in Computer Science, 4(4), 2008. [doi]

This author has not been identified. Look up 'Paolo Baldan' in GoogleThis author has not been identified. Look up 'Andrea Corradini' in GoogleThis author has not been identified. Look up 'Hartmut Ehrig' in GoogleIdentified as Reiko Heckel This author has not been identified. Look up 'Barbara KÃ¶nig' in Google

runs on WebDSL