Szymczak, Arkadiusz, Maciej Paszyński, and David Pardo. “GRAPH GRAMMAR BASED PETRI NET CONTROLLED DIRECT SOLVER ALGORITHM”. Computer Science 11 (March 15, 2013): 65. Accessed May 24, 2024. https://journals.agh.edu.pl/csci/article/view/122.