A vector matching method for analysing logic Petri nets

  • Authors:

  • YuYue Du;Liang Qi;MengChu Zhou

  • Affiliations:

  • College of Information Science and Engineering, Shandong University of Science and Technology, Qingdao, China,Key Laboratory of Embedded System and Service Computing, Ministry of Education, Tongji ...;College of Information Science and Engineering, Shandong University of Science and Technology, Qingdao, China;Key Laboratory of Embedded System and Service Computing, Ministry of Education, Tongji University, Shanghai, China,ECE, New Jersey Institute of Technology, Newark, NJ, USA,Laboratory of Complex Sy ...

  • Venue:
  • Enterprise Information Systems
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.