情報処理学会 第86回全国大会 会期:2024年3月15日~17日

2L-03
拡張被覆木CRTsを用いた非有界ペトリネットのデッドロック性の判定と表現
○太田真生,和﨑克己(信州大)
本研究では,非有界ペトリネットにおける拡張被覆木(Cyclic CRTs,Lu,et.al. 2019)による表現方法の拡張とデッドロック状態の抽象表現の提案を目的としている.現在,非有界ペトリネットの木構造での表現方法としてCRTsが存在する.非有界ネットではデッドロック性の検知が困難であるが,CRTsはそれを特定の条件下で可能にする.本研究では生成されたCRTsに対して,生成アルゴリズムの中でωに被覆されるプレースのトークン数増減による分類や,それに関する構造的要素の追加によって表現の拡張を行う.また,発見されたデッドロック状態までの,ルートからの発火系列を用いた抽象表現を提案する.