Li, J. et al. 2020. A Method for Learning a Petri Net Model Based on Region Theory. Computing and Informatics. 39, 1-2 (Feb. 2020), 174–192. DOI:https://doi.org/10.31577/cai_2020_1-2_174.