可迭性相关硕士博士期刊学术论文

可选性判定问题是Petri网理论研究的一个重要课题。已有文献提出通过构造Petri网岛可达树或可覆盖树来分析其可达性。但其中无界量......