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

Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets

In: Proceedings of the Second International Conference of Algebra and Coalgebra in Computer Science (CALCO 2007). - (Lecture Notes in Computer Science ; 4624)
Springer (2007), S. 126-142
ISBN: 3-540-73857-6
Buchaufsatz / Kapitel / Fach: Informatik
http://www.ti.inf.uni-due.de/publications/koenig/calco07.pdf

Dieser Eintrag ist freigegeben.