Tonatiuh Tapia-Flores, Ernesto López-Mellado, Ana Paula Estrada-Vargas, Jean-Jacques Lesage. Discovering Petri Net Models of Discrete-Event Processes by Computing T-Invariants. IEEE T. Automation Science and Engineering, 15(3):992-1003, 2018. [doi]
Abstract is missing.