基于分解的结构复杂Petri网的语言行为描述 |
| |
引用本文: | 曾庆田,吴哲辉.基于分解的结构复杂Petri网的语言行为描述[J].系统工程学报,2004,19(3):300-306. |
| |
作者姓名: | 曾庆田 吴哲辉 |
| |
作者单位: | 山东科技大学计算机科学与技术系,山东,泰安,271019 |
| |
基金项目: | 国家自然科学基金资助项目(60173053,60274063),山东省中青年科学家科研奖励基金资助项目(02BS069). |
| |
摘 要: | Petri网语言是用于系统行为分析的强有力手段,然而给定一个Petri网尤其是结构复杂的网系统。很难直接求解其语言表达式.针对这个问题,通过定义Petri网的库所指标函数,把一个结构复杂的网系统分解成结构简单的子网,即子网中每个变迁的输入库所和输出库所的数目均小于等于1,并分析了这些子网系统的语言特性.利用Petri网语言同步交运算,给出了一种求取结构复杂Petri网的语言表达式的方法,从而为利用网语言分析系统的行为提供了理论依据和方法。
|
关 键 词: | Petri网 库所指标 分解 同步交 Petri网语言 |
文章编号: | 1000-5781(2004)03-0300-07 |
本文献已被 CNKI 维普 万方数据 等数据库收录! |