文献

J-GLOBAL ID：201202251010708796   整理番号：12A1321218

Petriネットのクラスにおける結果のサイフォンの可制御性条件

Controllability Conditions of Resultant Siphons in a Class of Petri Nets

著者 (4件)： WANG ShouGuang (Zhejiang Gongshang Univ., Hangzhou, CHN) ,  WANG ChengYing (Zhejiang Gongshang Univ., Hangzhou, CHN) ,  ZHOU MengChu (Tongji Univ., Shanghai, CHN) ,  ZHOU MengChu (New Jersey Inst. Technol., NJ, USA)
資料名： IEEE Transactions on Systems, Man, and Cybernetics. Part A: Systems and Humans  (IEEE Transactions on Systems, Man, and Cybernetics. Part A: Systems and Humans)
巻： 42  号： 5  ページ： 1206-1215  発行年： 2012年09月 
JST資料番号： C0425D  ISSN： 1083-4427  CODEN： ITSHFX  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： デッドロック回避においてPetriネットのSMS(厳密な最小サイフォン)が重要な役割を果たしている。これに対し本論文では,Petriネットのクラスにおける結果のサイフォンの可制御性条件を提案した。ここではL-S³PRと呼ばれるPetriネットのクラスを用いた。リソース回路,ループリソース部分集合,リソースサブネットの基本概念を紹介し,可制御性条件を明らかにした。その中で,3種類のリソースサブセットの具体例を示し,Petriネットとして,2つのモニタを持つもの,提案手法によるライブシステム,ここで取り上げたサイフォン理論によるライブシステムなどの具体例を示した。提案手法の評価実験のためにFMS(フレキシブル生産システム)を用い,提案手法の有効性を確認した。

シソーラス用語： *Petriネット ,  *可制御性 ,  *FMS【生産】 ,  十分条件 ,  解析的解法 ,  デッドロック ,  離散系 ,  ネットワーク構造 ,  数学的性質 ,  評価試験
準シソーラス用語： サイフォン【ソフトウェア】 ,  離散事象系

分類 (3件)： 計算理論  (JB02000A) ,  制御工学一般  (IC01000V) ,  生産形態  (KB03020E)

タイトルに関連する用語 (4件)： Petriネット ,  クラス ,  サイフォン ,  可制御性