Koenig, Barbara
-
Volume 2: Petri Nets and Graph Transformations - Articles
Graph transformation systems, Petri nets and Semilinear Sets: Checking for the Absence of Forbidden Paths in Graphs
Abstract PDF -
Volume 51: Petri Nets, Graph Transformation and other Concurrency Formalisms 2012 - Articles
Conditions in Reactive Systems and in Graph Rewriting
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.