进程表达式相关论文
该论文首先在进程,进程表达式的基础上定义了进程表达式子式,全局满进程,闭包项等概念,通过进程分析有界Petrie网及其特殊子类标识......
一个网系统可能对应着多个(无限多个)进程,这为利用进程来分析系统的行为还来了不便.为此,文[36]提出了进程表达式的概念,并对有界......

