A vector matching method for analysing logic Petri nets

Document Type

Article

Publication Date

11-1-2011

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. © 2011 Taylor & Francis.

Identifier

80052472745 (Scopus)

Publication Title

Enterprise Information Systems

External Full Text Location

https://doi.org/10.1080/17517575.2010.541943

e-ISSN

17517583

ISSN

17517575

First Page

449

Last Page

468

Issue

4

Volume

5

Grant

2008AA04Z109

Fund Ref

National Natural Science Foundation of China

This document is currently not available here.

Share

COinS