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