• A Petri Net Approach to Analysis and Composition of Web Services 

      Xiong, PengCheng; Fan, YuShun; Zhou, MengChu (Georgia Institute of Technology, 2009)
      Business Process Execution Language for Web Services (BPEL) is becoming the industrial standard for modeling web service-based business processes. Behavioral compatibility for web service composition is one of the most ...