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]
Abstract is missing.