计算机应用研究

作者：徐颖蕾,

单位：山东财经大学计算机科学与技术学院,济南250014；

关键词：Petri网,无冲突,活标识,强连通分支,

基金：山东省自然科学基金资助项目(ZR2020MF137)；；

为了有效求解无冲突Petri网系统活标识的判定及配置优化问题，提出无冲突Petri网系统活标识判定的一种结构化方法。该方法首先求取无冲突Petri网的各强连通分支；然后对每一含有元素个数大于2的强连通分支求取其无同步变迁库所索引集合；最终得到无冲突Petri网系统的无前置库所索引集合，基于该库所元素集合即可实现对活标识的快速判定及配置优化。通过例子具体说明了该方法的实现及应用。分析结果表明，所提方法具有多项式时间复杂度，较易于操作和程序化实现。

来源：2023年第5期

《计算机应用研究》期刊编辑部

查看计算机应用研究杂志2023年第5期