人工知能学会全国大会論文集
第31回全国大会(2017)
セッションID: 1M1-OS-02a-2
会議情報

SAT技術を用いたペトリネットのデッドロック検出手法の提案
*寸田 智也宋 剛秀番原 睦則田村 直之
著者情報
会議録・要旨集 フリー

詳細
抄録

本稿ではSAT技術を用いたペトリネットのデッドロック検出手法について述べる.まず,トークン数や多重度が整数値のペトリネットの制約モデルを提案し,次に,検証するステップ長が短くなるように制約モデルを改良する.また,マーキングインバリアントを用いて,トークン数の上限を求める方法について述べる.最後に計算機実験で提案手法の有効性を評価する.

著者関連情報
© 2017 一般社団法人 人工知能学会
前の記事 次の記事
feedback
Top