标题：Analysis and Application of Logical Petri Nets to E-Commerce Systems
作者：Du, YuYue; Qi, Liang; Zhou, MengChu
作者机构：[Du, YuYue] Shandong Univ Sci & Technol, Coll Informat Sci & Engn, Qingdao 266590, Peoples R China.; [Qi, Liang] Tongji Univ, Sch Elect & Informat E 更多
通讯作者地址：[Du, YY]Shandong Univ Sci & Technol, Coll Informat Sci & Engn, Qingdao 266590, Peoples R China.
来源：IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS
关键词：Discrete event systems; e-commerce; logical Petri net (LPN);; reachability tree; state equation
摘要：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.