计算机应用研究2023,Vol.40Issue(5):1447-1451,1458,6.DOI:10.19734/j.issn.1001-3695.2022.09.0499
无冲突Petri网系统活标识判定的结构化方法
Structural method for live marking determination of conflict-free Petri net system
摘要
关键词
Petri网/无冲突/活标识/强连通分支分类
信息技术与安全科学引用本文复制引用
徐颖蕾..无冲突Petri网系统活标识判定的结构化方法[J].计算机应用研究,2023,40(5):1447-1451,1458,6.基金项目
山东省自然科学基金资助项目(ZR2020MF137) (ZR2020MF137)