Yunxiang Zheng, Tianxiang Zheng, Yanfen Zhang, Hai Wan. Double-State Based Business Process Description Model and its Operational Semantics. International Journal of Software Engineering and Knowledge Engineering, 22(6):801-838, 2012. [doi]
Abstract is missing.