A petri net approach to analysis and composition of web services

Pengcheng Xiong, Yushun Fan, Mengchu Zhou

Research output: Contribution to journalArticlepeer-review

131 Scopus citations


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 important topics. The commonly used reachability exploration method focuses on verifying deadlock freeness. When this property is violated, the states and traces in the reachability graph only give clues to redesign the composition. The redesign must then repeat itself until no deadlock is found. In this paper, multiple Web service interaction is modeled with a Petri net called Composition net (C-net for short). The problem of behavioral compatibility among Web services is hence transformed into the deadlock structure problem of a C-net. If services are incompatible, a policy based on appending additional information channels is proposed. It is proved that the policy can offer a good solution that can be mapped back into the BPEL models automatically.

Original languageEnglish (US)
Article number5398972
Pages (from-to)376-387
Number of pages12
JournalIEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans
Issue number2
StatePublished - Mar 2010

All Science Journal Classification (ASJC) codes

  • Software
  • Information Systems
  • Human-Computer Interaction
  • Electrical and Electronic Engineering
  • Control and Systems Engineering
  • Computer Science Applications


  • Business Process Execution Language for Web Services (BPEL)
  • Business process
  • Discrete event systems
  • Petri nets
  • Siphons
  • Web service


Dive into the research topics of 'A petri net approach to analysis and composition of web services'. Together they form a unique fingerprint.

Cite this