Li, J.; Yang, R.; Ding, Z.; Pan, M. A Method for Learning a Petri Net Model Based on Region Theory. Comput. Inform. 2020, 39, 174-192.