Petri网语言的同步混排运算及在语言分析中的应用

• 来源期刊: 系统工程学报
• 学科: 工学
• 关键词: Petri网 同步混排 Petri网语言 分解 同步合成
• 年，卷（期）: 2005,（5）
• 所属期刊栏目: 人工智能
• 页码范围: 492-496,503
• 页数: 6页
• 分类号: TP301
• 字数: 4217字
• 语种: 中文

摘要

Petri网语言是用于系统行为分析的有力工具,利用传统的语言运算并不容易刻画结构复杂Petri网的语言行为.为此,引入Petri网语言同步混排运算,并就基于库所指标的Petri网分解和Petri网同步合成过程中满足的语言行为关系,分析了Petri网语言的同步混排运算的作用和意义,在此基础上给出了两种用于结构复杂Petri网语言行为描述的方法.