抄録
RA-003
自由選択ネットの活性・安全性判定解析アルゴリズム改善と援用ツールへの実装
井出和人・和崎克己(信州大)
離散事象システムにおけるモデル化手法の一つにペトリネットがある.ペトリネットは視覚的で,かつ数学的なモデル化ツールである.筆者らの研究グループでは,ペトリネットの設計解析援用ツールHiPSを開発している.HiPS にはT-インバリアント解析などの解析機能が備わっているが,いくつかの重要な性質を解析する機能が不足している.本研究では,その重要な性質のひとつである,自由選択ネットのサブクラスにおける活性および安全性を判定するための並列実行可能なアルゴリズムの改善および実装を行った.