外部入力プレース付きペトリネットにおける許容フィードバックの性質

高井 重昌  潮 俊光  児玉 慎三  

誌名
電子情報通信学会論文誌 A   Vol.J75-A   No.8   pp.1405-1411
発行日: 1992/08/25
Online ISSN: 
DOI: 
Print ISSN: 0913-5707
論文種別: 論文
専門分野: グラフとネットワーク
キーワード: 
離散事象システム,  ペトリネット,  述語,  状態フィードバック,  最大許容フィードバック,  

本文: PDF(436.5KB)>>
論文を購入




あらまし: 
外部入力プレース付きペトリネットにおいては,一般に各トランジションの発火が独立に制御できないので,最大許容フィードバックが存在するとは限らない.最大許容フィードバックが存在するための必要十分条件は,制御仕様である述語が弱干渉となることである.しかし弱干渉を調べるためには,許容フィードバックの集合を求める必要がある.本論文ではまず,許容フィードバックの集合を求めることなく,最大許容フィードバックの存在性を効率的に判定できる条件を求める.更に最大許容フィードバックを施した閉ループシステムの可到達集合が,制御仕様の述語を満たすマーキングの集合と等しくなるための必要十分条件を求める.最後に得られた結果を簡単な生産システムの制御に応用する.