Verifying Soundness of Geodata Web Service Composition Based on Petri Nets

N. Xu, S.-P. Peng, Z. G. Wang. Verifying Soundness of Geodata Web Service Composition Based on Petri Nets. J. Web Eng., 16(1&2):145-160, 2017. [doi]

Abstract

Abstract is missing.