GSPN的分析方法及其应用 |
| |
作者姓名: | 张建东 高晓光 吴勇 朱岩 |
| |
作者单位: | 1.西北工业大学电子信息工程学院,陕西,西安,710072 |
| |
基金项目: | 航空支撑科技基金资助项目(03C53002) |
| |
摘 要: | 随着计算机和信息技术的发展,广义随机Petri网(G SPN)作为一种图形化的建模工具,不仅可以对系统进行形式化的描述和快速原型开发,而且由于其具有坚实的数学理论基础,可以对系统进行正确性验证和性能评价,因此在系统的设计过程中,得到了广泛的应用。基于结构分析方法、可达图分析和数值分析方法讨论分析了G SPN,并给出了具体的算例,最后讨论了G SPN的应用领域。
|
关 键 词: | 广义随机Petri网 分析方法 应用领域 |
文章编号: | 1002-0640(2005)05-0027-05 |
修稿时间: | 2004-02-18 |
本文献已被 CNKI 万方数据 等数据库收录! |
| 点击此处可从《火力与指挥控制》浏览原始摘要信息 |
|
点击此处可从《火力与指挥控制》下载全文 |
|