逻辑Petri网变迁使能的判定方法

Method to Judge Enabling Transitions in Logical Petri Nets

逻辑Petri网(LPNs)能够描述和分析实时协同工作系统中批处理功能和传值不确定性。为了直接分析LPNs的性质,针对LPNs变迁的不确定性,定义了逻辑变迁向量集和变迁使能向量集,给出了一种向量匹配方法判断使能变迁。为应用LPNs建模分析实际问题奠定了理论基础。最后,通过一个例子,验证了论文分析方法的可行性。

Batch processing function and passing value indeterminacy in cooperative systems can be described and analyzed by Logic Petri Nets（LPNs）.To directly analyze the properties of LPNs,the concept of logical transition vector sets and transition enabling vector sets was proposed and a vector matching method was used to judge the enabled transitions in LPNs.A theoretical basis for modeling and analyzing practical problems was established using LPNs.Finally,the validity and reliability of the proposed method were illustrated by an example.