Wei Song, Xiaoxing Ma, Chunyang Ye, Wanchun Dou, Jian Lu. Timed Modeling and Verification of BPEL Processes Using Time Petri Nets. In Byoungju Choi, editor, Proceedings of the Ninth International Conference on Quality Software, QSIC 2009, Jeju, Korea, August 24-25, 2009. pages 92-97, IEEE Computer Society, 2009. [doi]
Abstract is missing.