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
http://www.lmcs-online.org/ojs/viewarticle.php?id=384&layout=abstract
http://arxiv.org/pdf/0809.4115

Dieser Eintrag ist freigegeben.