| [1] |
高庆鑫, 刘聪, 张在贵, 郭娜, 苏轩, 曾庆田. 基于流程挖掘的机器人流程自动化优化部署方法[J]. 计算机工程, 2025, 51(8): 396-405. |
| [2] |
杨林枫, 黄政, 徐岩, 丁志军. 基于Petri网的区块链智能合约攻击者建模与检测[J]. 计算机工程, 2025, 51(4): 15-26. |
| [3] |
余新胜, 朱丹江, 罗论涵. 基于CLPN的系统安全性分析方法[J]. 计算机工程, 2024, 50(10): 255-265. |
| [4] |
汪小勇, 董德存, 欧冬秀. 车载TBTC-CBTC系统降级场景下的CPN建模与仿真[J]. 计算机工程, 2022, 48(7): 189-198. |
| [5] |
徐颖蕾, 马炳先. 无冲突Petri网的结构活性判定研究[J]. 计算机工程, 2021, 47(7): 296-300. |
| [6] |
徐淑琳, 周广瑞, 岳昊. 标注Petri网中的最小初始标识估计[J]. 计算机工程, 2021, 47(4): 285-290,297. |
| [7] |
马金林, 陈德光, 马自萍, 魏麟. 一种Petri网优化的验证码识别方法[J]. 计算机工程, 2020, 46(7): 277-285. |
| [8] |
何俊, 张云飞, 张德海. 基于Petri网的数据清洗规则链自动组合与检测[J]. 计算机工程, 2020, 46(11): 124-131. |
| [9] |
李联, 杨淏天. 基于GSPN的锁步处理器系统可靠性建模与分析[J]. 计算机工程, 2019, 45(7): 296-302. |
| [10] |
李宗花, 叶正伟. 业务目标模型与业务场景模型的语义一致性分析[J]. 计算机工程, 2019, 45(12): 308-313. |
| [11] |
陈莹,孙晓波,邢建春,杨启亮. 任务关键系统的时间约束验证与最优路径分析[J]. 计算机工程, 2018, 44(5): 60-65,77. |
| [12] |
杜海森,杜玉越. 基于不完备日志的块状并发过程挖掘[J]. 计算机工程, 2018, 44(12): 56-61. |
| [13] |
陈莹,邢建春,杨启亮,张孝鹏. 时间约束下任务关键系统的可调度性分析[J]. 计算机工程, 2018, 44(12): 115-119,128. |
| [14] |
李堃,张雪松. STP安全通信协议设计与形式化验证[J]. 计算机工程, 2018, 44(12): 120-128. |
| [15] |
张晶,王中正,范洪博. 基于随机Petri网的嵌入式软件能耗模型[J]. 计算机工程, 2017, 43(9): 316-321. |