抄録
A-001
特徴的構造を持つペトリネットにおける極小サイフォン検出アルゴリズムの動的選択
特徴的構造を持つペトリネットにおける極小サイフォン検出アルゴリズムの動的選択
本研究では，ペトリネット内に存在する頂点を入出力アークの数によって8つに分類し，これらの頂点の割合によって検出効率化ヒューリスティック手法の適用是非を判断する．ヒューリスティック手法とは，ペトリネット内に存在する複数の強連結に共通した路を発見することで，極小サイフォン構造検出の効率化を狙ったものである．ヒューリスティック手法を用いる割合の条件としては，出力アークと入力アークの数がどちらも1本であり，かつそのような頂点の数が，入出力アークが複数ある頂点と比べて少ないような場合である．具体的なモデルによって，提案手法が効率的になるケースについて検証する．