[1] |
李联, 杨淏天. 基于GSPN的锁步处理器系统可靠性建模与分析[J]. 计算机工程, 2019, 45(7): 296-302. |
[2] |
陈莹,孙晓波,邢建春,杨启亮. 任务关键系统的时间约束验证与最优路径分析[J]. 计算机工程, 2018, 44(5): 60-65,77. |
[3] |
杜海森,杜玉越. 基于不完备日志的块状并发过程挖掘[J]. 计算机工程, 2018, 44(12): 56-61. |
[4] |
陈莹,邢建春,杨启亮,张孝鹏. 时间约束下任务关键系统的可调度性分析[J]. 计算机工程, 2018, 44(12): 115-119,128. |
[5] |
李堃,张雪松. STP安全通信协议设计与形式化验证[J]. 计算机工程, 2018, 44(12): 120-128. |
[6] |
张晶,王中正,范洪博. 基于随机Petri网的嵌入式软件能耗模型[J]. 计算机工程, 2017, 43(9): 316-321. |
[7] |
张晶,王亮,范洪博,肖智斌. 基于时间Petri网的嵌入式系统构件建模与能耗分析[J]. 计算机工程, 2017, 43(6): 30-34,39. |
[8] |
王雷,姜久雷,王晓峰. 基于Petri网的设计模式形式化描述[J]. 计算机工程, 2016, 42(7): 33-36,48. |
[9] |
陈龙,王立松. IMA重构的功能危害分析方法研究[J]. 计算机工程, 2016, 42(6): 151-155,160. |
[10] |
黄理,顾乃杰,曹华雄. 基于Petri网的多线程程序死锁检测[J]. 计算机工程, 2016, 42(4): 1-6. |
[11] |
张绍华,焦毅,陈钢. 支持协同治理的建筑信息模型云平台建模与架构研究[J]. 计算机工程, 2016, 42(11): 95-101,108. |
[12] |
冯玮,郭永清,罗飞. 基于联邦MAS的Petri网供应链需求预测模型[J]. 计算机工程, 2015, 41(9): 298-302. |
[13] |
田志辉,金志刚,王颖. EAP-MD5协议的安全性分析与改进[J]. 计算机工程, 2014, 40(6): 95-98,103. |
[14] |
周如旗,冯嘉礼,张谦. 模糊属性Petri网建模方法及学习模型研究[J]. 计算机工程, 2014, 40(6): 190-194. |
[15] |
王慧英,乐晓波,周恺卿. 一种基于模糊Petri网的双向并行推理算法[J]. 计算机工程, 2014, 40(3): 208-212. |