The Confluence Property for Petri Nets and its Applications. - Ioana Leahu; Ferucio Laurentiu Tiplea (SYNASC, 2006)

Linear Algebraic Approach for Home Markings in Live and Bounded Equal Conflict Systems. - Ioana Leahu (SYNASC, 2010)

The Reversible Released Form of Petri Nets and Its Applications to Soundness of Workflow Nets. - Ferucio Laurentiu Tiplea; Ioana Leahu (IEEE Trans. Syst. Man Cybern. Syst., 2016)