Paper Info
Title
Shared P-Type Logic Petri Net Composition and Property Analysis: A Vector Computational Method
Abstract
Petri net (PN) is an effective modeling and analysis tool for discrete event systems. By attaching a first-order logic predicate logic formula to a transition in a PN, a high-level Petri net named Logic Petri Net (LPN) is obtained. LPN has been proved to have equivalent modeling capability with inhibition Petri nets but keeps simpler net structures than the latter. It has the advantage of modeling the cooperative systems with the function to process batch and indeterminate resources. This paper proposes a vector computational method for LPN compositional analysis. It studies the composition of LPNs with the shared P-type subnets. Each logical expression is transformed into a unique disjunctive normal one and then into a unique set of vectors. A vector computational method is proposed such that the properties of the composition of the shared P-type subnets such as liveness, boundedness, and reversibility are verified. An E-commerce system with customers, merchants, and a third-party is constructed to illustrate the method. This paper can improve the state of the art in the theory of LPNs.
Year
DOI
Venue
2020
10.1109/ACCESS.2020.2974340
IEEE ACCESS
Keywords
DocType
Volume
Petri nets,logic petri net,P-type Petri net composition,property analysis,cooperative systems
Journal
8
ISSN
Citations 
PageRank 
2169-3536
0
0.34
References 
Authors
0
4
Name
Order
Citations
PageRank
Liang Qi115627.14
Wenjing Luan2197.08
Xiaoyu Sean Lu300.34
Xiwang Guo400.34