NA XU, SUPING PENG, and ZHANGANG WANG. “VERIFYING SOUNDNESS OF GEODATA WEB SERVICE COMPOSITION BASED ON PETRI NETS”. Journal of Web Engineering, vol. 16, no. 1-2, Nov. 2016, pp. 145-60, https://journals.riverpublishers.com/index.php/JWE/article/view/3305.