NA XU, SUPING PENG, ZHANGANG WANG. VERIFYING SOUNDNESS OF GEODATA WEB SERVICE COMPOSITION BASED ON PETRI NETS. JWE [Internet]. 2016 Nov. 16 [cited 2026 Jun. 3];16(1-2):145-60. Available from: https://journals.riverpublishers.com/index.php/JWE/article/view/3305