Modeling and Verifying Composite Semantic Web Service Based on Colored Petri Nets - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Yong-shang Cheng' in GoogleThis author has not been identified. Look up 'Zhijian Wang' in GoogleThis author has not been identified. Look up 'Congming Wang' in GoogleThis author has not been identified. Look up 'Long-ye Tang' in GoogleThis author has not been identified. Look up 'Ling Shang' in Google

runs on WebDSL