标题: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
通讯作者地址:[Du, YY]Shandong Univ Sci & Technol, Coll Informat Sci & Engn, Qingdao 266590, Peoples R China.
来源:IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS
出版年:2014
卷:44
期:4
页码:468-481
DOI:10.1109/TSMC.2013.2277696
关键词: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.
收录类别:SCIE
WOS核心被引频次:16
资源类型:期刊论文
TOP