Szymczak A, Paszyński M, Pardo D. GRAPH GRAMMAR BASED PETRI NET CONTROLLED DIRECT SOLVER ALGORITHM. csci [Internet]. 2013Mar.15 [cited 2024Apr.24];11:65. Available from: https://journals.agh.edu.pl/csci/article/view/122