进程表达式相关论文
该论文首先在进程,进程表达式的基础上定义了进程表达式子式,全局满进程,闭包项等概念,通过进程分析有界Petrie网及其特殊子类标识......
一个网系统可能对应着多个(无限多个)进程,这为利用进程来分析系统的行为还来了不便.为此,文[36]提出了进程表达式的概念,并对有界......
Petri网的进程是对系统行为描述和分析的有力工具,它可以很清楚地反映出网系统运行中变迁之间的顺序、并发、同步等现象。然而,一......
The concept of process grammar, based on the idea of vector grammar, for petri net is presented in this pa-per. The proc......
Petri网的进程是用于系统行为和状态描述的有效工具，但是通常很难给出结构复杂Petri网进程的全部描述。本文考察结构简单的S-N的进......
文献[1]证明一个有界Petri网的进程表达式是以该网的基本子进程集为字母表的正规表达式,然而没有给出基本子进程的求解方法。定义......
借助进程网系统的概念,首先证明了无界Petri网∑的进程与其进程网系统∑p的语言之间存在一一映射关系,将求取∑的进程表达式的问题......
Petri网的进程是用于系统行为和状态描述的有效工具，Petri网的进程表达式可以给出系统全部进程的描述，但是对于任意无界Petri网而言......
摘 要：Petri网进程是Petri网分析和验证的有效手段，而Petri网的进程表达式可以给出系统全部进程的描述。针对文献《一种基于同步合成......
Petri网进程是对Petri网并发语义的一个刻画，是Petri网分析和验证的有效手段．该文针对有界Petri网研究进程表达式和活性性质之间的关......
Petri网的语言和进程都是网系统行为的一种有效的描述手段.对应的进程表达式和语言表达式给出了系统全体行为的约束描述.本文首先......
