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