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