Yahui Lu, Zhong Ming, Haofei Yu, Hui Wang, Li Zhang. Formalizing Workflow with Location Constraints by Colored Petri Nets. In Yinsheng Li, Xiang Fei, Kuo-Ming Chao, Jen-Yao Chung, editors, 11th IEEE International Conference on e-Business Engineering, ICEBE 2014, Guangzhou, China, November 5-7, 2014. pages 226-231, IEEE Computer Society, 2014. [doi]
Abstract is missing.