无冲突Petri网系统活标识判定的结构化方法
Structural method for live marking determination of conflict-free Petri net system作者机构:山东财经大学计算机科学与技术学院济南250014
出 版 物:《计算机应用研究》 (Application Research of Computers)
年 卷 期:2023年第40卷第5期
页 面:1447-1451,1458页
学科分类:081203[工学-计算机应用技术] 08[工学] 0835[工学-软件工程] 0812[工学-计算机科学与技术(可授工学、理学学位)]
基 金:山东省自然科学基金资助项目(ZR2020MF137)
摘 要:为了有效求解无冲突Petri网系统活标识的判定及配置优化问题,提出无冲突Petri网系统活标识判定的一种结构化方法。该方法首先求取无冲突Petri网的各强连通分支;然后对每一含有元素个数大于2的强连通分支求取其无同步变迁库所索引集合;最终得到无冲突Petri网系统的无前置库所索引集合,基于该库所元素集合即可实现对活标识的快速判定及配置优化。通过例子具体说明了该方法的实现及应用。分析结果表明,所提方法具有多项式时间复杂度,较易于操作和程序化实现。