@article{Tiplea_2015,
    doi = {10.1109/tsmc.2015.2394735},
    url = {https://doi.org/10.1109%2Ftsmc.2015.2394735},
    year = {2015},
    month = {sep},
    publisher = {Institute of Electrical and Electronics Engineers ({IEEE})},
    volume = {45},
    number = {9},
    pages = {1292--1298},
    author = {Ferucio Laurentiu Tiplea and Corina Bocaneala and Raluca Chirosca},
    title = {On the Complexity of Deciding Soundness of Acyclic Workflow Nets},
    journal = {{IEEE} Transactions on Systems, Man, and Cybernetics: Systems}
}

@article{Tiplea_2015, doi = {10.1109/tsmc.2015.2394735}, url = {https://doi.org/10.1109%2Ftsmc.2015.2394735}, year = {2015}, month = {sep}, publisher = {Institute of Electrical and Electronics Engineers ({IEEE})}, volume = {45}, number = {9}, pages = {1292--1298}, author = {Ferucio Laurentiu Tiplea and Corina Bocaneala and Raluca Chirosca}, title = {On the Complexity of Deciding Soundness of Acyclic Workflow Nets}, journal = {{IEEE} Transactions on Systems, Man, and Cybernetics: Systems} }