扩展颜色逻辑Petri网及其可达性分析 |
| |
引用本文: | 王振,杜玉越,亓亮.扩展颜色逻辑Petri网及其可达性分析[J].山东科技大学学报(自然科学版),2020,39(3). |
| |
作者姓名: | 王振 杜玉越 亓亮 |
| |
作者单位: | 山东科技大学计算机科学与工程学院,山东青岛,266590 |
| |
基金项目: | 国家自然科学基金;国家自然科学基金 |
| |
摘 要: | 逻辑Petri网是一种增广Petri网模型,具有与图灵机等价的建模能力。颜色逻辑Petri网解决了逻辑Petri网中输出的不确定性表达问题。然而颜色逻辑Petri网描述不同子系统的并发过程,需要对每一个子系统建立一个子网模型。如果所有子网模型的结构相同,则可以引入多个有色托肯,从而用一个子网模型表示多个子系统的并发过程。因此,提出了扩展颜色逻辑Petri网模型及其可达性分析方法。首先,为了方便可达标识的表示和计算,引入多重集的素数表示法,用素数幂的乘积来表示一个多重集,并给出了判断变迁使能的方法。其次,通过定义颜色逻辑关联矩阵,给出了一步可达标识的计算公式以及可达树构造方法。最后,针对一个电子商务实例,分别用颜色逻辑Petri网和所提出的扩展颜色逻辑Petri网建立模型并进行比较分析,从而证明了提出的模型具有更简单的网结构,丰富了逻辑Petri网理论。
|
关 键 词: | 并发系统 逻辑Petri网 颜色逻辑Petri网 可达性分析 电子商务系统 |
本文献已被 CNKI 万方数据 等数据库收录! |
|