Analysis and application of logical petri nets to E-commerce systems

Yu Yue Du, Liang Qi, Meng Chu Zhou

Research output: Contribution to journalArticlepeer-review

47 Scopus citations

Abstract

Logical Petri Nets (LPNs) can well describe and analyze batch processing functions and passing value indeterminacy in cooperative systems. Their structures are simpler than the equivalent inhibition Petri nets. To analyze them, a vector matching method has been given. In this paper a subclass of LPNs is proposed and its properties are analyzed. It can be used to model and simulate e-commerce systems well. Its special structures and relationships among its logical transitions are discussed. Based on them, a reachability tree is constructed and the state equations are used to analyze its properties, that is, reachability, liveness, conservativeness, and reversibility. The proposed analysis method significantly lowers the computational efforts in comparison with the existing method for LPNs.

Original languageEnglish (US)
Article number6615917
Pages (from-to)468-481
Number of pages14
JournalIEEE Transactions on Systems, Man, and Cybernetics: Systems
Volume44
Issue number4
DOIs
StatePublished - Apr 2014

All Science Journal Classification (ASJC) codes

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

Keywords

  • Discrete event systems
  • e-commerce
  • logical Petri net (LPN)
  • reachability tree
  • state equation

Fingerprint

Dive into the research topics of 'Analysis and application of logical petri nets to E-commerce systems'. Together they form a unique fingerprint.

Cite this