A Petri Net Solution to Protocol-Level Mismatches in Service Composition

Pengcheng Xiong, Mengchu Zhou, Calton Pu, Yushun Fan

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Scopus citations


This chapter models multiple web service interaction with a Petri net called Composition net (C-net). It presents Petri-net-based method to find protocol-level mismatches and then generates solutions to fix the mismatch problems. Technically, the approach consists of three steps. First, the chapter adopts BPEL for web services as the web service composition language. The BPEL description of a composite service is translated into a Petri net model. Second, a mixed-integer 624 a petri net solution to protocol-level mismatches in service composition programming formulation is used to detect the maximal empty siphons, which are then used to find protocol-level mismatches. Third, an algorithm is proposed to find siphon-based solutions for protocol-level mismatches by adding tokens in siphons to prevent them from becoming empty. Finally, time complexity comparisons are made between the approach and existing ones. The proposed one can achieve higher efficiency for resolving protocol-level mismatching issues.

Original languageEnglish (US)
Title of host publicationContemporary Issues in Systems Science and Engineering
PublisherWiley-IEEE Press
Number of pages25
ISBN (Electronic)9781119036821
ISBN (Print)9781118271865
StatePublished - Apr 7 2015

All Science Journal Classification (ASJC) codes

  • General Engineering


  • BPEL
  • Composition net
  • Maximal empty siphons
  • Multiple web service interaction
  • Petri-net model
  • Service composition


Dive into the research topics of 'A Petri Net Solution to Protocol-Level Mismatches in Service Composition'. Together they form a unique fingerprint.

Cite this