The analyze method can eliminate some redundant states which exacerbates state explosion problem in some other Time-Petri-Nets-based analyze methods.

• 在其上的分析方法消除了其它方法中一些 会加剧状态爆炸问题的冗余状态。