状态方程可满足性相关论文
可达性是Petri网的一个基本性质,其判定问题是Petri网理论研究方面的一个重要课题。众所周知,一个Petri网的状态方程可满足性是其......
可选性判定问题是Petri网理论研究的一个重要课题。已有文献提出通过构造Petri网岛可达树或可覆盖树来分析其可达性。但其中无界量......
