Analysis and Application of Logical Petri Nets to E-Commerce Systems
Analysis and Application of Logical Petri Nets to E-Commerce Systems
复制标题
DOI：
10.1109/tsmc.2013.2277696
复制
发表时间：
2014-04
期刊：
影响因子：
--
通讯作者：
Yuyue Du;Liang Qi;Mengchu Zhou
中科院分区：
文献类型：
--
作者：
Yuyue Du;Liang Qi;Mengchu Zhou
逻辑Petri网（LPN）可以很好地描述和分析合作系统中的批处理处理功能和通过价值不确定性。它们的结构比等效的抑制彼得培养皿更简单。为了分析它们，给出了一种矢量匹配方法。在本文中，提出了LPN的子类，并分析了其特性。它可以很好地模拟和模拟电子商务系统。讨论了其逻辑过渡之间的特殊结构和关系。基于它们，构建了一棵可及树，并使用状态方程来分析其属性，即可及性，可接触性，保守性和可逆性。与现有的LPN方法相比，提出的分析方法显着降低了计算工作。
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.