潘洪军1,2，孙吉贵1
Pan Hong-jun1，2, Sun Ji-gui1
摘要： 在软件方法学领域已有研究成果的基础上，提出了面向对象代数的Petri模型。该模型支持面向对象的概念，支持面向对象软件系统分析和建模，把代数理论、Petri理论以及面向对象方法和技术结合在一起，为形式化和智能化软件工程环境的建立提供了一种有效方法，提高了并发系统动态建模和复杂系统的高级建模的能力。
中图分类号:
| [1] | 陈鹏飞, 田地, 杨光. 基于MVC架构的LIBS软件设计与实现[J]. 吉林大学学报(工学版), 2016, 46(1): 242-245. |
| [2] | 任维武, 胡亮, 赵阔. 基于数据挖掘和本体的入侵警报关联模型[J]. 吉林大学学报(工学版), 2015, 45(3): 899-906. |
| [3] | 罗智勇, 尤波, 许家忠, 梁勇. 基于三层攻击图的入侵意图自动识别模型[J]. 吉林大学学报(工学版), 2014, 44(5): 1392-1397. |
| [4] | 牛晓霞1, 吴艳霞1, 朱若平2, 顾国昌1, 刘海波1. 基于多种硬件实现方式探索的软硬件划分算法[J]. 吉林大学学报(工学版), 2014, 44(4): 1088-1093. |
| [5] | 康辉, 张双双, 梅芳. 一种递归π演算向Petri网的转换方法[J]. 吉林大学学报(工学版), 2014, 44(01): 142-148. |
| [6] | 王志坚, 胡玉平, 陈章. 构件系统结构的Petri网方法描述[J]. 吉林大学学报(工学版), 2012, 42(增刊1): 304-308. |
| [7] | 魏领会1,2,申桂香1,张英芝1,陈炳锟1,薛玉霞1. 数控机床可用度建模与仿真[J]. 吉林大学学报(工学版), 2011, 41(4): 993-997. |
| [8] | 臧雪柏, 赵海英, 吴洋, 李雄飞. 网格数据库事务处理模型[J]. 吉林大学学报(工学版), 2010, 40(06): 1668-1672. |
| [9] | 刘彦斌, 周春光, 张重毅, 周栩, 翟延冬, 邹淑雪. 基于本体的语义生物信息数据库资源链接[J]. 吉林大学学报(工学版), 2010, 40(06): 1650-1654. |
| [10] | 国林, 张乐君, 杨武, 王巍, 杨永田. 可 生 存 属 性 建 模[J]. 吉林大学学报(工学版), 2009, 39(04): 1075-1079. |
| [11] | 王云鹏，李善兴，王占中，李世武，董胜武，崔丽霞 . 基于Petri网的汽车制造业生产物流流程优化[J]. 吉林大学学报(工学版), 2008, 38(增刊): 59-0062. |
| [12] | 张晓伟，刘三阳，迟晓妮 . 高效求解多峰值全局优化的区间-遗传算法 [J]. 吉林大学学报(工学版), 2008, 38(04): 876-879. |
| [13] | 谭向臣;冯铁;罗术通;李大利 . 基于设计变动分析的JAVA源代码变动预测[J]. 吉林大学学报(工学版), 2008, 38(03): 685-0689. |
| [14] | 张海涛，艾云峰 . 基于Petri网的分布式实时嵌入式系统的调度分析[J]. 吉林大学学报(工学版), 2007, 37(03): 616-0620. |
| [15] | 李嘉菲，刘大有，于万钧 . 一种能发现重复任务的过程挖掘算法[J]. 吉林大学学报(工学版), 2007, 37(01): 106-110. |
|
||