Petri网基本模型、子类分析及应用 |
| |
作者姓名: | 徐树维 季超 |
| |
作者单位: | 河南大学计算中心,河南,开封,475001;河南大学计算中心,河南,开封,475001 |
| |
摘 要: | 作为一种图形化和数学化的建摸工具,Petri网为系统分析和设计提供了便利。但Petri网网建模时通常要用Petri网的予类对模型做各种限制。本文对Petri网的基本模型、子类作了介绍和分析,对系统建模和分析有一定的指导作用。
|
关 键 词: | Petri网 子类 状态机 标记图 自由选择网 扩充自由选择网 不对称选择网 |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
|