A vector matching method for analysing logic Petri nets

Yu Yue Du, Liang Qi, Meng Chu Zhou

Research output: Contribution to journalArticlepeer-review

65 Scopus citations


Batch processing function and passing value indeterminacy in cooperative systems can be described and analysed by logic Petri nets (LPNs). To directly analyse the properties of LPNs, the concept of transition enabling vector sets is presented and a vector matching method used to judge the enabling transitions is proposed in this article. The incidence matrix of LPNs is defined; an equation about marking change due to a transition's firing is given; and a reachable tree is constructed. The state space explosion is mitigated to a certain extent from directly analysing LPNs. Finally, the validity and reliability of the proposed method are illustrated by an example in electronic commerce.

Original languageEnglish (US)
Pages (from-to)449-468
Number of pages20
JournalEnterprise Information Systems
Issue number4
StatePublished - Nov 2011

All Science Journal Classification (ASJC) codes

  • Computer Science Applications
  • Information Systems and Management


  • Enabling vector sets
  • Logic Petri nets
  • Net state space explosion
  • Reachable tree
  • State equation
  • Vector matching


Dive into the research topics of 'A vector matching method for analysing logic Petri nets'. Together they form a unique fingerprint.

Cite this