1-有界無競合ペトリネットにおける二つのトランジションの同時発火可能性を判定するYenのアルゴリズムの改良

スポンサーリンク

概要

論文の詳細を見る
1-有界無競合ペトリネットと,その上の二つのトランジションが与えられたとき,それら二つのトランジションがともに発火可能であるようなマーキングで初期マーキングから到達可能なものが存在するか否かを判定するアルゴリズムがYenにより示されている(Information Processing Letters 38(1991)pp.71-76).このアルゴリズムは,ペトリネット中のトランジション,プレースの数をそれぞれ|T|,|P|とすると,O(|T|^4|P|×min(|T|,|P|))の時間計算量で実行可能なものである.本論文では,Yenのアルゴリズムを改良して,O(|T|^2|P|×min(|T|,|P|))の時間計算量で実行可能なものを示す.
社団法人電子情報通信学会の論文
1994-09-25

著者

関連論文

もっと見る

スポンサーリンク