| 有色Petri网在软件开发中的应用 |
| |
| 引用本文： | 刘密霞,余冬梅,冯涛.有色Petri网在软件开发中的应用[J].兰州理工大学学报,2004,30(3):88-91. |
| |
| 作者姓名： | 刘密霞 余冬梅 冯涛 |
| |
| 作者单位： | 兰州理工大学,电气工程与信息工程学院,甘肃,兰州,730050 |
| |
| 基金项目： | 国家科技攻关项目(2001BA201A32) |
| |
| 摘 要： | 为了提高软件开发的质量,尽量在编写代码和执行软件系统之前找出错误,减少软件开发的费用,在软件开发的过程中引入了既有形式化的描述方法又有图形表达能力的工具有色Petri网.在介绍了有色Petri网的形式化定义及其图形表示后,提出了引入有色Petri网后的软件开发框架,最后介绍了一个应用实例.
|
| 关 键 词： | 有色Petri网 软件开发 形式化描述 图形表达 |
| 文章编号： | 1000-5889(2004)03-0088-04 |
| 修稿时间： | 2003年6月6日 |
Application of colored Petri nets in software development |
| |
| LIU Mi-xia,YU Dong-mei,FENG Tao.Application of colored Petri nets in software development[J].Journal of Lanzhou University of Technology,2004,30(3):88-91. |
| |
| Authors: | LIU Mi-xia YU Dong-mei FENG Tao |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
