摘要
讨论一种事件驱动系统的建模方法,对基本Petri网作一定的扩充,使之具有描述事件/状态、控制结构和系统并行性的能力.
Discussing a modeling method of eventdriven system.The basic Petri net is extended.The extended Petri nets can describe event/state,control structure and system concurrency.
出处
《云南大学学报（自然科学版）》
CAS
CSCD
2003年第1期13-16,共4页
Journal of Yunnan University(Natural Sciences Edition)
基金
云南省计算机技术应用重点实验室开放资助项目
云南省自然科学基金资助项目(2001F0006M)
云南省中青年学术和技术带头人培养基金资助(1998-37).
