进程段相关论文
讨论了Petri网的可重复向量和受控可重复向量的有效性.对于有效可重复向量,给出另一个定义,并且证明两种定义是等价的.给出了有效......
Petri网基本进程段的求取是Petri进程描述的前提和基础，然而直接求取通常是比较困难的。文章研究通过Petri网的同步合成操作求取基......
