Modeling and Verifying Composite Semantic Web Service Based on Colored Petri Nets

Yong-shang Cheng, Zhijian Wang, Congming Wang, Long-ye Tang, Ling Shang. Modeling and Verifying Composite Semantic Web Service Based on Colored Petri Nets. In Proceedings of The Sixth International Conference on Advanced Language Processing and Web Information Technology, ALPIT 2007, Luoyang, Henan, China, 22-24 August 2007. pages 510-514, IEEE Computer Society, 2007. [doi]

Abstract

Abstract is missing.