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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.