Detecting Infeasible Traces in Process Models

Zhaoxia Wang, Lijie Wen, Xiaochen Zhu, Yingbo Liu, Jianmin Wang 0001. Detecting Infeasible Traces in Process Models. In Leszek A. Maciaszek, Alfredo Cuzzocrea, José Cordeiro, editors, ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 3, Wroclaw, Poland, 28 June - 1 July, 2012. pages 212-217, SciTePress, 2012.

Abstract

Abstract is missing.