抄録
A-002
可達判定条件が既知であるサブクラス定義に反する閉路検知機能を有するペトリネット解析ツールの開発
可達判定条件が既知であるサブクラス定義に反する閉路検知機能を有するペトリネット解析ツールの開発
ペトリネットにおいて，可達判定条件が既知であるサブクラス群を対象とし，その定義に反する閉路を検知する機能について，著者らが開発中のペトリネット援用ツールHiPSに実装する．解析の閉路に内包されるトラップ・サイフォン構造の解析を行うことで，モデルの詳細な動的解析と設計改善へのフィードバック利用に資する．解析対象はトラップ・サイフォン包含閉路ネットと，その部分集合となるサブクラス群である．対象モデルのサブクラス包含関係を調べた後，閉路探査と閉路に対する構造解析による詳細解析を行う．モデルの規模が大きくなった場合，処理に多くの時間がかかるため，処理の並列機構導入による計算時間の低減と，解析の優先指定や範囲指定による処理の効率化を図る．解析機能には，解析内容の指定と解析結果の閲覧を便利にするGUIを搭載することで，ユーザビリティの向上を行う．