Title :
Analysis and Application of Logical Petri Nets to E-Commerce Systems
Author :
YuYue Du ; Liang Qi ; Mengchu Zhou
Author_Institution :
Coll. of Inf. Sci. & Eng., Shandong Univ. of Sci. & Technol., Qingdao, China
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.
Keywords :
Petri nets; electronic commerce; reachability analysis; LPN; batch processing functions; conservativeness; cooperative systems; e-commerce systems; inhibition Petri nets; liveness; logical Petri nets analysis; logical transitions; passing value indeterminacy; reachability tree; reversibility; state equations; vector matching method; Analytical models; Batch production systems; Cybernetics; Equations; Mathematical model; Petri nets; Vectors; Discrete event systems; e-commerce; logical Petri net (LPN); reachability tree; state equation;
Journal_Title :
Systems, Man, and Cybernetics: Systems, IEEE Transactions on
DOI :
10.1109/TSMC.2013.2277696
