基于一阶混和Petri网的混合系统结构分析

Structural Analysis of Hybrid System Based on the First Order Hy brid Petri Nets

文中提出一种分析混和系统结构的新方法 ,称为一阶混和Petri网。对一阶混和Petri网进行了定义 ,并描述了其使能和点火规则 ;运用位置不变量和变迁不变量对一阶混和Petri网的结构进行分析 ,并通过求解混和状态方程来获得位置不变集和变迁不变集 ;最后用一个例子来阐明如何运用不变量来进行结构分析。

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.