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