Xiaofeng Tao, Changjun Jiang. Formalizing Web Service and Modeling Web Service-Based System Based on Object Oriented Petri Net. In Minglu Li, Xian-He Sun, Qianni Deng, Jun Ni, editors, Grid and Cooperative Computing, Second International Workshop, GCC 2003, Shanghai, China, December 7-10, 2003, Revised Papers, Part I. Volume 3032 of Lecture Notes in Computer Science, pages 1008-1011, Springer, 2003. [doi]
Abstract is missing.