摘要
Petri网语言是用于系统行为分析的强有力手段,然而给定一个Petri网尤其是结构复杂的网系统,很难直接求解其语言表达式.针对这个问题,通过定义Petri网的库所指标函数,把一个结构复杂的网系统分解成结构简单的子网,即子网中每个变迁的输入库所和输出库所的数目均小于等于1,并分析了这些子网系统的语言特性.利用Petri网语言同步交运算,给出了一种求取结构复杂Petri网的语言表达式的方法,从而为利用网语言分析系统的行为提供了理论依据和方法.
In order to analyze the behaviors of a structure-complex Petri net, a new decomposition method for Petri net based on defining an index for the place set is introduced, with which a structure-complex Petri net can be decomposed into a set of structure-simple subnet systems in which the number of input place set or the output place set of any transition is less than or equal to one. The characters of the subnet systems are analyzed in detail and the methods to obtain their language expressions are presented. With analyzing the language relationships between the subnet systems and the original system, an algorithm to express the behaviors of any structure-complex Petri net is given, which is useful to analyze the physical systems with Petri net languages.
出处
《系统工程学报》
CSCD
2004年第3期300-306,共7页
Journal of Systems Engineering
基金
国家自然科学基金资助项目(60173053
60274063)
山东省中青年科学家科研奖励基金资助项目(02BS069).
关键词
PETRI网
库所指标
分解
同步交
PETRI网语言
Petri net
index of places
decomposition
synchronous intersection
Petri net language
