抑止辺を持つペトリネットの発火系列問題の解法について

摘要

抑止辺ペトリネットの発火系列問題(INLFS)とは，「抑止辺ペトリネットIN，初期マーキングM{sub}0，発火回数ベクトルXが与えられたとき，M{sub}0から順次発火可能で各トランジションtが丁度X(t)回出現する発火系列δを求めよ．」と定義される．namedRed重み無し抑止辺ペトリネットを対象とし，台ペトリネットがマークグラフである場合のINLFS解法の提案，および一般ペトリネットの場合のINLFSの発見的解法の提案と性能評価を報告する．本研究の主題は台ペトリネットに制限がない場合のINLFSに対する発見的解法の提案と性能評価を報告する．