| 事件驱动系统的Petri网建模 |
| |
| 引用本文： | 孔兵,李彤,梁彬. 事件驱动系统的Petri网建模[J]. 云南大学学报(自然科学版), 2003, 25(1): 13-16 |
| |
| 作者姓名： | 孔兵 李彤 梁彬 |
| |
| 作者单位： | 1. 云南大学,计算机科学与工程系,云南,昆明,650091
2. 云南大学,软件学院,云南,昆明,650091 |
| |
| 基金项目： | 云南省计算机技术应用重点实验室开放资助项目，云南省自然科学基金资助项目(2001F0006M)，云南省中青年学术和技术带头人培养基金资助(1998-37). |
| |
| 摘 要： | 讨论一种事件驱动系统的建模方法,对基本Petri网作一定的扩充,使之具有描述事件/状态、控制结构和系统并行性的能力.
|
| 关 键 词： | 事件驱动系统 Petri网 系统建模 |
| 文章编号： | 0258-7971(2003)01-0013-04 |
| 修稿时间： | 2002-06-15 |
Modeling event-driven system by Petri net |
| |
| KONG Bing,LI Tong,LIAN Bin. Modeling event-driven system by Petri net[J]. Journal of Yunnan University(Natural Sciences), 2003, 25(1): 13-16 |
| |
| Authors: | KONG Bing LI Tong LIAN Bin |
| |
| Affiliation: | 1. Department of Computer Science and Engineering, Yunnan University, Kunming 650091, China;2. College of Software, Yunnan University, Kunming 650091, China |
| |
| Abstract: | Discussing a modeling method of event driven system.The basic Petri net is extended.The extended Petri nets can describe event/state,control structure and system concurrency. |
| |
| Keywords: | event-driven system Petri net modeling system |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《云南大学学报(自然科学版)》浏览原始摘要信息 |
|
点击此处可从《云南大学学报(自然科学版)》下载全文 |
