一种混和Petri网结构分析方法

A Method for Structural Analysis of Hybrid Petri Net

混和Petri网可很好地描述由连续动态和离散动态相互混和、相互作用而形成的混和系统。其特点是,将位置和变迁区分为连续和离散两种类型,以表征连续变量过程和离散事件过程。Petri网是离散系统建模和分析的一种有效的图形和数学工具。在文中,基于图论提出一种分析Petri网结构特性的方法,然后介绍转换矩阵和Petri网的对应关系。其次,应用转换矩阵的特征多项式和方程分析Petri网的结构特性;最后,应用例子来说明该方法的应用。

Hybrid Petri nets can be used to describe hybrid system composed of continuous and discrete dynamics, in which they are mixed and interacted with each other. The characteristic of hybrid Petri nets are that place and transition was distinguished continuous type and discrete type to denote continuous variable process and discrete event process. Petri net is a useful graphical tool to model and analyze discrete systems. In this paper, we propose the new concept to analyze structural properties of hybrid Petri net using the transitive matrix derived from graph theory and introduce the transitive matrix of Petri net and relationship between them, Second, the structural properties are analyzed using the characteristic polynomial and equation of the transitive matrices. Furthermore, give two examples to illustrate the using of the method.