极小标识相关硕士博士期刊学术论文

活性（Liveness）是Petri网的基本性质．从网的关联矩阵以及所定义变迁发生序列的结构，求解结构活网的极小标识，得到了一个多项式时间算法．......