Szymczak, Arkadiusz, et al. “GRAPH GRAMMAR BASED PETRI NET CONTROLLED DIRECT SOLVER ALGORITHM”. Computer Science, vol. 11, Mar. 2013, p. 65, https://doi.org/10.7494/csci.2010.11.0.65.