摘要
文中提出一种分析混和系统结构的新方法 ,称为一阶混和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.
出处
《电子测量与仪器学报》
CSCD
2004年第4期6-9,共4页
Journal of Electronic Measurement and Instrumentation
基金
"中国工程物理研究院科学技术基金"资助课题