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