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. https://doi.org/10.14279/tuj.eceasst.2.26