Szymczak, A., Paszyński, M., & Pardo, D. (2013). GRAPH GRAMMAR BASED PETRI NET CONTROLLED DIRECT SOLVER ALGORITHM. Computer Science, 11, 65. https://doi.org/10.7494/csci.2010.11.0.65