J. Li, R. Yang, Z. Ding, and M. Pan, “A Method for Learning a Petri Net Model Based on Region Theory”, Comput. Inform., vol. 39, no. 1-2, pp. 174–192, Feb. 2020.