Analyzing E-commerce business process nets via incidence matrix and reduction

Wangyang Yu, Chungang Yan, Zhijun Ding, Changjun Jiang, Mengchu Zhou

Research output: Contribution to journalArticlepeer-review

27 Scopus citations


E-commerce business process nets (EBPNs) are a novel formal model for describing and validating e-commerce systems including interactive parties such as shopper, merchant, and third-party payment platform. Data errors and nondeterminacy of the data states during the trading process can be depicted with the help of EBPNs. However, the problem about how to analyze EBPNs remains largely open. To analyze their dataliveness, data-boundedness, and reachability, this paper presents two analysis methods. For EBPNs, reachability analysis is proposed based on a 3-D incidence matrix method. Additionally, reduction methods are proposed for a special EBPN. Finally, the validity and reliability of the proposed methods are illustrated via the examples of e-commerce systems.

Original languageEnglish (US)
Article number2598287
Pages (from-to)130-141
Number of pages12
JournalIEEE Transactions on Systems, Man, and Cybernetics: Systems
Issue number1
StatePublished - Jan 2018

All Science Journal Classification (ASJC) codes

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


  • Analysis
  • Business process
  • E-commerce
  • Modeling
  • Verification


Dive into the research topics of 'Analyzing E-commerce business process nets via incidence matrix and reduction'. Together they form a unique fingerprint.

Cite this