Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko; König, Barbara:

Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets

In: Logical Methods in Computer Science, Jg. 4 (2008) ; Nr. 4, Paper 3
ISSN: 1860-5974
Zeitschriftenaufsatz / Fach: Informatik