Szymczak, A., M. Paszyński, and D. Pardo. “GRAPH GRAMMAR BASED PETRI NET CONTROLLED DIRECT SOLVER ALGORITHM”. Computer Science, vol. 11, Mar. 2013, p. 65, doi:10.7494/csci.2010.11.0.65.