On Normalization of Petri Nets. - Ferucio Laurentiu Tiplea; Aurora Tiplea (Sci. Ann. Cuza Univ., 1998)

A Simulation Preorder for Abstraction of Reactive Systems. - Ferucio Laurentiu Tiplea; Aurora Tiplea (VMCAI, 2002)

Instantiating Nets and Their Applications to Workflow Nets. - Ferucio Laurentiu Tiplea; Aurora Tiplea (SYNASC, 2005)

Petri net reactive modules. - Ferucio Laurentiu Tiplea; Aurora Tiplea (Theor. Comput. Sci., 2006)