属型相关论文
Petri网语言是Petri网理论的重要组成部分,反映了Petri网的模拟能力;同时,Petri网语言也是分析系统行为的重要手段之一,在许多方面......
Petri网的语言和进程都是网系统行为的一种有效的描述手段.对应的进程表达式和语言表达式给出了系统全体行为的约束描述.本文首先......
