Koenig, B. 2007. Graph transformation systems, Petri nets and Semilinear Sets: Checking for the Absence of Forbidden Paths in Graphs. Electronic Communications of the EASST. 2, (May 2007). DOI:https://doi.org/10.14279/tuj.eceasst.2.26.