NA XU, SUPING PENG, and ZHANGANG WANG. “VERIFYING SOUNDNESS OF GEODATA WEB SERVICE COMPOSITION BASED ON PETRI NETS”. Journal of Web Engineering 16, no. 1-2 (November 16, 2016): 145–160. Accessed June 3, 2026. https://journals.riverpublishers.com/index.php/JWE/article/view/3305.