Zohra Sbaï, Kamel Barkaoui. On quantitative Analysis of Time Open Workflow Nets and Parametric Extension. In Belgacem Ben Hedia, Florin Popentiu-Vladicescu, editors, Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2015, Bucharest, Romania, September 10-11, 2015. Volume 1431 of CEUR Workshop Proceedings, pages 97-108, CEUR-WS.org, 2015. [doi]
Abstract is missing.