An Approach for Synthesis Petri Nets for Modeling and Verifying Composite Web Service

Zhijun Ding, Junli Wang, Changjun Jiang. An Approach for Synthesis Petri Nets for Modeling and Verifying Composite Web Service. J. Inf. Sci. Eng., 24(5):1309-1328, 2008. [doi]

Abstract

Abstract is missing.