有效可重复向量相关论文
讨论了Petri网的可重复向量和受控可重复向量的有效性.对于有效可重复向量,给出另一个定义,并且证明两种定义是等价的.给出了有效......
活性（liveness）是Petri网的基本性质之一。从Petri网系统的有效（受控）可重复向量出发,给出一般Petri网系统中变迁为2级活或是3级活的判......
一个Petri网系统的有效可重复向量的集合为CSX0∪CSX＋,有效受控可重复向量的集合为CSX-∪CSX＋-。本文给出了用有效（受控）可重复向量判......
