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 (Nov. 2016), 145–160.