| 注册
首页|期刊导航|计算机应用研究|无冲突Petri网系统活标识判定的结构化方法

无冲突Petri网系统活标识判定的结构化方法

徐颖蕾

计算机应用研究2023,Vol.40Issue(5):1447-1451,1458,6.
计算机应用研究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

徐颖蕾1

作者信息

  • 1. 山东财经大学计算机科学与技术学院,济南250014
  • 折叠

摘要

关键词

Petri网/无冲突/活标识/强连通分支

分类

信息技术与安全科学

引用本文复制引用

徐颖蕾..无冲突Petri网系统活标识判定的结构化方法[J].计算机应用研究,2023,40(5):1447-1451,1458,6.

基金项目

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

计算机应用研究

OA北大核心CSCDCSTPCD

1001-3695

访问量0
|
下载量0
段落导航相关论文