计算机工程

作者：徐颖蕾, 马炳先

单位：1. 山东财经大学 计算机科学与技术学院, 济南 250014;2. 山东省数字媒体技术重点实验室, 济南 250014;3. 济南大学 信息科学与工程学院, 济南 250022

关键词：Petri网,无冲突结构,结构活性,有向回路,T-外延子网

基金：山东省教育厅科研发展计划（KJ2018BAN058）。

结构活性作为Petri网的重要结构性质，在Petri网活性判定领域具有较高的研究价值。从Petri网有向回路对结构活性的影响入手，分析与判定无冲突Petri网的结构活性，讨论库所元素及其后置变迁之间是否存在有向回路对Petri网结构活性的影响，研究该类Petri网结构活性判定方法的相关条件与结论，得到无冲突Petri网是满足结构活性的充分必要条件。分析结果表明，该判定方法可在多项式时间内判定无冲突Petri网的结构活性。

来源：2021年第7期

《计算机工程》期刊编辑部

查看计算机工程杂志2021年第7期