Electronic Communication of the European Association of Software Science and Technology, Volume 2
Petri Nets and Graph Transformations 2006
: Algebraic High-Level Nets as Weak Adhesive HLR Categories.
: Graph transformation systems, Petri nets and Semilinear Sets: Checking for the Absence of Forbidden Paths in Graphs.
, founded at