A-013
拡張被覆グラフを用いた無条件公平解析器のペトリネットツールHiPSへの実装

◎三井雄太・張江洋次朗・和崎克己（信州大）

ペトリネットは離散事象システムの振る舞いをモデル化することができるツールであり，その解析を行うことでシステムの様々な性質を知ることができる．ペトリネットの解析方法に無条件公平解析がある．無条件公平は，無限長の発火系列σの中にネット内のすべてのトランジションが無限回現れているとき，系列σは無条件に公平であると定義される．しかし従来の被覆グラフから得られる発火系列は情報の欠損があり正しく解析が行えない．この課題を解決するため，解析に必要な情報を従来の被覆グラフに付与した拡張被覆グラフを提案する．この拡張グラフに基づいた発火系列の巡回パス探査アルゴリズムを新たに設計し，本学で開発されたペトリネット設計ツールHiPS上に実装した．