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):145-60. https://journals.riverpublishers.com/index.php/JWE/article/view/3305.