文献

J-GLOBAL ID：201802280388376462   整理番号：18A0343002

Petriネットでモデル化したフレキシブル生産システムのためのデッドロック回復【Powered by NICT】

Deadlock recovery for flexible manufacturing systems modeled with Petri nets

著者 (8件)： Chen YuFeng (Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau 999078, China) ,  Li ZhiWu (Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau 999078, China) ,  Li ZhiWu (School of Electro-Mechanical Engineering, Xidian University, Xi’an 710071, China) ,  Al-Ahmari Abdulrahman (FARCAMT Chair, Advanced Manufacturing Institute, King Saud University, Riyadh 12372, Saudi Arabia) ,  Al-Ahmari Abdulrahman (Industrial Engineering Department, College of Engineering, King Saud University, Riyadh 12372, Saudi Arabia) ,  Wu NaiQi (Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau 999078, China) ,  Qu Ting (School of Electrical and Information Engineering, Jinan University (Zhuhai Campus), Zhuhai 519070, China) ,  Qu Ting (Institute of Physical Internet, Jinan University (Zhuhai Campus), Zhuhai 519070, China)
資料名： Information Sciences  (Information Sciences)
巻： 381  ページ： 290-303  発行年： 2017年 
JST資料番号： D0636A  ISSN： 0020-0255  CODEN： ISIJBC  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 回復遷移のセットを添加することによるPetriネットにおけるデッドロック問題を検討した。制御されることネットモデルのための制御場所を展開することにより伝統的なデッドロック制御法とは異なり,本研究は,全てのデッドロックマーキングを回収するためのネットモデルへの遷移を追加した。最初に,反復アプローチを提案した。各反復段階では,整数線形計画問題(ILPP)は回復遷移を設計するために定式化され,目的関数は,得られた遷移により回収されたデッドロックマーキングの数を最大化するために使用した。全てのデッドロックマーキングを復元するまでプロセスを行った。結果として,少数回復遷移ののみが全てのデッドロックマーキングを回収するのに必要である,すなわち,回復遷移と得られたネットモデルである生きた。第二に,1回では全ての回復転移を見出すために,他のILPP開発した。ILPPの制約は,デッドロックマーキングは少なくとも一つの選択された回収転移により回収し,目的関数は,選択された回復遷移の数を最小化するために使用されていることを保証した。,最小数回復遷移のILPPのみを解いて求めた。両方のアプローチは,すべての到達可能なマーキングとともに生きるネットモデルにすることができる。最後に,サーバル例は,提案した方法を実証した。Copyright 2018 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

シソーラス用語： *FMS【生産】 ,  *Petriネット ,  整数線形計画法 ,  制御方式 ,  目的関数 ,  マーキング ,  定式化 ,  *デッドロック ,  *モデリング

著者キーワード (4件)： フレキシブル生産システム ,  Petriネット ,  デッドロック ,  活性

分類 (2件)： 生産形態  (KB03020E) ,  工程管理  (KB03030P)

タイトルに関連する用語 (5件)： Petriネット ,  モデル化 ,  フレキシブル生産システム ,  デッドロック ,  回復