Li J, Yang R, Ding Z, Pan M. A Method for Learning a Petri Net Model Based on Region Theory. Comput. Inform. [Internet]. 2020 Feb. 29 [cited 2024 Apr. 27];39(1-2):174-92. Available from: https://www.cai.sk/ojs/index.php/cai/article/view/2020_1-2_174