S-网相关论文
文献[1]证明一个有界Petri网的进程表达式是以该网的基本子进程集为字母表的正规表达式,然而没有给出基本子进程的求解方法。定义......
Petri网的进程是用于系统行为和状态描述的有效工具，Petri网的进程表达式可以给出系统全部进程的描述，但是对于任意无界Petri网而言......
文章拓展了Petri网同步合成运算的概念,并讨论了拓展后的同步合成运算满足的语言性质.证明了任意Petri网∑都可由一组S-网通过同步......
Petri网同步合成与共享合成是复杂系统分析中两种重要的方法.为了适应更为复杂的系统分析需要,本文将同步合成与共享合成拓展为多......
Petri网基本进程段的求取是Petri进程描述的前提和基础，然而直接求取通常是比较困难的。文章研究通过Petri网的同步合成操作求取基......
