Yanping Yang, Qingping Tan, Yong Xiao. Verifying web services composition based on hierarchical colored petri nets. In Axel Hahn, Sven Abels, Liane Haak, editors, Proceedings of the first international ACM workshop on Interoperability of Heterogeneous Information Systems (IHIS 05), CIKM Conference, Bremen, Germany, November 4, 2005. pages 47-54, ACM, 2005. [doi]
Abstract is missing.