第31回 (2017)
セッションID: 1M1-OS-02a-2
会議情報
主催: 一般社団法人 人工知能学会
会議名: 2017年度人工知能学会全国大会（第31回）
回次: 31
開催地: 愛知県名古屋市 ウインクあいち
開催日: 2017/05/23 - 2017/05/26
SAT技術を用いたペトリネットのデッドロック検出手法の提案
詳細
主催: 一般社団法人 人工知能学会
会議名: 2017年度人工知能学会全国大会（第31回）
回次: 31
開催地: 愛知県名古屋市 ウインクあいち
開催日: 2017/05/23 - 2017/05/26
本稿ではSAT技術を用いたペトリネットのデッドロック検出手法について述べる．まず，トークン数や多重度が整数値のペトリネットの制約モデルを提案し，次に，検証するステップ長が短くなるように制約モデルを改良する．また，マーキングインバリアントを用いて，トークン数の上限を求める方法について述べる．最後に計算機実験で提案手法の有効性を評価する．
