NA XU; SUPING PENG; ZHANGANG WANG. VERIFYING SOUNDNESS OF GEODATA WEB SERVICE COMPOSITION BASED ON PETRI NETS. JWE 2016, 16, 145-160.