|
|||||
|
|
| 事件驱动系统的Petri网建模 | |
| 作者姓名： | 孔兵 李彤 梁彬 |
| 作者单位： | 1. 云南大学,计算机科学与工程系,云南,昆明,650091 2. 云南大学,软件学院,云南,昆明,650091 |
| 基金项目： | 云南省计算机技术应用重点实验室开放资助项目,云南省自然科学基金资助项目(2001F0006M),云南省中青年学术和技术带头人培养基金资助(1998-37). |
| 摘 要： | 讨论一种事件驱动系统的建模方法,对基本Petri网作一定的扩充,使之具有描述事件/状态、控制结构和系统并行性的能力. |
| 关 键 词： | 事件驱动系统 Petri网 系统建模 |
| 文章编号： | 0258-7971(2003)01-0013-04 |
| 修稿时间： | 2002-06-15 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《云南大学学报(自然科学版)》浏览原始摘要信息 | |
| 点击此处可从《云南大学学报(自然科学版)》下载全文 | |