ペトリネット援用ツールHiPSに，可達判定条件が判明しているサブクラス群に対して定義に反する閉路を検出する機能を実装する．解析対象は，トラップ・サイフォン包含閉路ネットとその部分集合であるサブクラス群である．始めに，対象ネットがサブクラスに包含されているか判定し，結果が偽であれば，反例である閉路を検出するために閉路探査と閉路の構造解析を実施する．規模が大きいネットの場合，解析処理に多くの計算コストが必要となるため，全体の解析時間短縮のために非同期・並列処理を導入する．更に，解析における優先度の指定や部分的な解析，処理の中断・再開といった機能を導入することで，反例検知の効率化とユーザビリティの向上を目指す．