文献类型：期刊文章

作　　者：曾庆田[1] 吴哲辉[1]

机构地区：[1]山东科技大学计算机科学与技术系,山东泰安271019

出　　处：《系统工程学报》

基　　金：国家自然科学基金资助项目(60173053;60274063);山东省中青年科学家科研奖励基金资助项目(02BS069).

年　　份：2004

卷　　号：19

期　　号：3

起止页码：300-306

语　　种：中文

收录情况：CSCD、CSCD2011_2012、JST、MR、RCCSE、ZGKJHX、ZMATH、普通刊

摘　　要：Petri网语言是用于系统行为分析的强有力手段,然而给定一个Petri网尤其是结构复杂的网系统,很难直接求解其语言表达式.针对这个问题,通过定义Petri网的库所指标函数,把一个结构复杂的网系统分解成结构简单的子网,即子网中每个变迁的输入库所和输出库所的数目均小于等于1,并分析了这些子网系统的语言特性.利用Petri网语言同步交运算,给出了一种求取结构复杂Petri网的语言表达式的方法,从而为利用网语言分析系统的行为提供了理论依据和方法.

关 键 词：PETRI网 库所指标  分解  同步交  PETRI网语言

分 类 号：TP301]