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

【Abstract】 The type of process expression of Petri net is defined and the determining conditions of the types can could be obtained from the net structure. Based on these, the consistency of the type between the process expression and the language expression is proved, and an efficient algorithm for language expression obtained from process expression of any Petri net is given, which is helpful for modeling and analyzing the physical systems based on Petrinets.更多还原