基于一阶混和Petri网的混合系统结构分析 |
| |
引用本文: | 胡红革,黄大贵,赵强. 基于一阶混和Petri网的混合系统结构分析[J]. 电子测量与仪器学报, 2004, 18(4): 6-9 |
| |
作者姓名: | 胡红革 黄大贵 赵强 |
| |
作者单位: | 电子科技大学机电工程学院,成都,610054;中国工程物理研究院计算机研究所,绵阳,621900;电子科技大学机电工程学院,成都,610054;中国工程物理研究院计算机研究所,绵阳,621900 |
| |
基金项目: | "中国工程物理研究院科技基金"资助项目 |
| |
摘 要: | 文中提出一种分析混和系统结构的新方法,称为一阶混和Petri网.对一阶混和Petri网进行了定义,并描述了其使能和点火规则;运用位置不变量和变迁不变量对一阶混和Petri网的结构进行分析,并通过求解混和状态方程来获得位置不变集和变迁不变集;最后用一个例子来阐明如何运用不变量来进行结构分析.
|
关 键 词: | 混和系统 一阶混和Petri网 不变量 关联矩阵 |
修稿时间: | 2003-08-01 |
Structural Analysis of Hybrid System Based on the First Order Hybrid Petri Nets |
| |
Abstract: | This paper presents a new methodology for structural analysis of hybrid systems, called first-order hybrid Petri nets. In this paper , it defines the first-order hybrid Petri nets, and describes its enabled and fi ring rules. Structural analysis of the first-order hybrid Petri nets is made usi ng place invariance and transition invariance, and the set of place invariance a nd transition invariance is obtained by solution of the hybrid state equation. A t last, it is illustrated how to use invariance for structural anal ysis. |
| |
Keywords: | Hybrid system first-order hybrid Petri nets invar iance incident matrix. |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
|