Kais Klai, Walid Gaaloul. Petri Net Modeling and Verification of Transactional Workflows. In Sumitra Reddy, Samir Tata, editors, 20th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, WETICE 2011, Paris, France, 27-29 June 2011, Proceedings. pages 176-184, IEEE Computer Society, 2011. [doi]
@inproceedings{KlaiG11, title = {Petri Net Modeling and Verification of Transactional Workflows}, author = {Kais Klai and Walid Gaaloul}, year = {2011}, doi = {10.1109/WETICE.2011.72}, url = {http://dx.doi.org/10.1109/WETICE.2011.72}, tags = {modeling, workflow}, researchr = {https://researchr.org/publication/KlaiG11}, cites = {0}, citedby = {0}, pages = {176-184}, booktitle = {20th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, WETICE 2011, Paris, France, 27-29 June 2011, Proceedings}, editor = {Sumitra Reddy and Samir Tata}, publisher = {IEEE Computer Society}, }