Automated Modelling of Deadlock-free Petri Nets Using Duplicated Transition Labels. - Román Pomares-Angelino; Ernesto López-Mellado (CCE, 2020)

Discovering petri nets including silent transitions. A repairing approach based on structural patterns. - Román Pomares-Angelino; Ernesto López-Mellado (Discret. Event Dyn. Syst., 2022)