Ioana Leahu

According to our database¹, Ioana Leahu authored at least 3 papers between 2006 and 2016.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2016

The Reversible Released Form of Petri Nets and Its Applications to Soundness of Workflow Nets.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2016

2010

Linear Algebraic Approach for Home Markings in Live and Bounded Equal Conflict Systems.

[BibT_eX]

[DOI]

Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010

2006

The Confluence Property for Petri Nets and its Applications.

[BibT_eX]

[DOI]

Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 2006