Petri网的进程表达式与语言表达式

摘要：

Petri网的语言和进程都是网系统行为的一种有效的描述手段.对应的进程表达式和语言表达式给出了系统全体行为的约束描述.本文首先对Petri网的进程表达式进行了类型的划分并给出了相应的代数判定依据,随后证明了Petri网的进程表达式与语言表达式的类型一致性,由此给出了由进程表达式求取语言表达式的算法,为基于Petri网语言(尤其是无界Petri网)分析实际的物理系统提供了更为有效的途径.

关键词：Petri网、语言、进程表达式、进程网系统、属型、算法

所属期刊栏目：25

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

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

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

页数：共5页

页码：654-658