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

摘要：

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

关键词：Petri网、同步混排、Petri网语言、分解、同步合成

所属期刊栏目：20

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金60173053,60274063;山东省优秀中青年科学家科研奖励基金02BS609

在线出版日期：2005-11-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：492-496,503