NA XU, SUPING PENG, and ZHANGANG WANG, “VERIFYING SOUNDNESS OF GEODATA WEB SERVICE COMPOSITION BASED ON PETRI NETS”, JWE, vol. 16, no. 1-2, pp. 145–160, Nov. 2016.