挙動的トラップのPOCネットの活性の単調性への応用(グラフ,ペトリ,ニューラルネット及び一般)

概要

論文の詳細を見る
ペトリネットはコンカレントシステムの有効なモデルの一つである。ペトリネットの解析問題のひとつである活性問題を調べる方法に、プレースの集合であるサイフォンとトラップを用いた方法がある。サイフォン、トラップは構造的なものであるが、松本らは挙動的トラップを提案して、活性のための条件を導いた。また、Lautenbachらによって提案された挙動的トラップのための代数的な十分条件は、著者らによって拡張されている。一方、初期マーキングM_0活性なペトリネットに対して、M^'_0≧M_0なる任意のマーキングでも活性が成り立つことを活性の単調性という。本報告では、この活性の単調性に対してマーキングの増分に制約を設けた弱単調性について考察する。POCネットについて挙動的トラップを用いた活性の弱単調性のための十分条件を示す。さらに、プレースの出力トランジション数が高々2であるようなAC/DCネットについて初期マーキングの定数倍のマーキングについて活性が保たれるための必要十分条件を導く。
社団法人電子情報通信学会の論文
2004-10-28