| 一种基于面向对象Petri网的并发程序建模方法 |
| |
| 引用本文： | 任爱华. 一种基于面向对象Petri网的并发程序建模方法[J]. 北京航空航天大学学报, 1998, 24(4): 491-494 |
| |
| 作者姓名： | 任爱华 |
| |
| 作者单位： | 北京航空航天大学 计算机科学与工程系 |
| |
| 基金项目： | 航空科学基金(96F51075)资助项目 |
| |
| 摘 要： | 介绍了一种基于面向对象Petri网的并发系统建模方法. 该方法把面向对象技术与Petri网理论相结合, 构成一种面向对象Petri网,可以解决用Petri网建立并发程序模型所遇到的状态爆炸问题,又使得建模系统具有可重用性且易于维护, 是一种具有数学和图形方式相结合的形式化描述.
|
| 关 键 词： | 软件工程 软件工具 建立模型 Petri网 面向对象技术 并发系统建模 |
| 收稿时间： | 1998-05-12 |
| 修稿时间： | : 1998-05-12 |
Object-Oriented Petri Net Based Method for the Concurrent Program Modeling |
| |
| Ren Aihua,Niu Jinzhong,Zhang Yongming. Object-Oriented Petri Net Based Method for the Concurrent Program Modeling[J]. Journal of Beijing University of Aeronautics and Astronautics, 1998, 24(4): 491-494 |
| |
| Authors: | Ren Aihua Niu Jinzhong Zhang Yongming |
| |
| Affiliation: | Beijing University of Aeronautics and Astronautics,Dept. of Computer Science and Engineering |
| |
| Abstract: | |
| |
| Keywords: | software engineering software tools model building Petri nets object oriented techniques concurrent system modeling |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《北京航空航天大学学报》浏览原始摘要信息 |
|
点击此处可从《北京航空航天大学学报》下载全文 |
