无冲突Petri网的结构活性判定研究

摘要：

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

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

所属期刊栏目：47

分类号：TP312(计算技术、计算机技术)

资助基金：山东省教育厅科研发展计划KJ2018BAN058

在线出版日期：2021-09-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：296-300