NA XU, SUPING PENG, & ZHANGANG WANG. (2016). VERIFYING SOUNDNESS OF GEODATA WEB SERVICE COMPOSITION BASED ON PETRI NETS. Journal of Web Engineering, 16(1-2), 145–160. Retrieved from https://journals.riverpublishers.com/index.php/JWE/article/view/3305