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