Szymczak, Arkadiusz, Maciej Paszyński, and David Pardo. 2013. “GRAPH GRAMMAR BASED PETRI NET CONTROLLED DIRECT SOLVER ALGORITHM”. Computer Science 11 (March):65. https://doi.org/10.7494/csci.2010.11.0.65.