Strongly Generalized Soundness of Time Workflow Nets

Hanifa Boucheneb, Kamel Barkaoui. Strongly Generalized Soundness of Time Workflow Nets. In 15th International Conference on Application of Concurrency to System Design, ACSD 2015, Brussels, Belgium, June 21-26, 2015. pages 130-139, IEEE Computer Society, 2015. [doi]