Koenig, B. Graph Transformation Systems, Petri Nets and Semilinear Sets: Checking for the Absence of Forbidden Paths in Graphs. eceasst 2007, 2.