CHENG Yongshang, WANG Zhijian, WANG Congming, et al. Modeling and verifying composite semantic Web service based on colored Petri nets[C]//Proceedings of the 6th International Conference on Advanced Language Processing and Web Information Technology. Washington, D.C., USA:IEEE Computer Society, 2007,8:510-514.
[2]
SUN Jian, JIANG Changjun.Web service composition based on BPWS-net[J]. Lecture Notes in Computer Science, 2004, 3309:303-313.
