Verifying web services composition based on hierarchical colored petri nets

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]

Authors

Yanping Yang

This author has not been identified. Look up 'Yanping Yang' in Google

Qingping Tan

This author has not been identified. Look up 'Qingping Tan' in Google

Yong Xiao

This author has not been identified. Look up 'Yong Xiao' in Google