文献

J-GLOBAL ID：202102249339166112   整理番号：21A0227692

フレキシブル生産システムのためのPetriネットの部分可到達性グラフ解析【JST・京大機械翻訳】

Partial Reachability Graph Analysis of Petri Nets for Flexible Manufacturing Systems

著者 (3件)： Hu Menghuan (Department of Electro-Mechanical Engineering, Xidian University, Xi’an, China) ,  Yang Shaohua (The 20th Research Institute of CETC, Xi’an, China) ,  Chen Yufeng (Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau)
資料名： IEEE Access  (IEEE Access)
巻： 8  ページ： 227925-227935  発行年： 2020年 
JST資料番号： W2422A  ISSN： 2169-3536  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： Petriネットは,フレキシブル生産システムにおけるデッドロックをモデル化し,解析するための重要で一般的なツールである。Petriネットモデルの状態空間は,2つの互いに素な部分に分割できる:ライブゾーンとデッドゾーン。リーチビリティグラフ解析はPetriネットのモデリングと制御において重要な役割を果たす。ほとんどの既存の研究は,計算オーバヘッドを悪化させる第1の悪いマーキング(FBM)を得るために,Petriネットの到達可能なマーキングを十分に列挙しなければならない。本論文では,Petriネットにおけるデッドマーキングを見つけるための計算効率の良い方法を示した。最初に,整数線形計画法問題を解くことによって,デッドマーキングを見つけるためのアルゴリズムを導入した。次に,デッドゾーンにおけるマーキングのセットを計算し,デッドマーキングのセットと悪いマーキングの集合を含んだ。次に,ベクトル被覆アプローチを用いてすべてのFBMsを見つけることができ,FBMsの最小カバー集合を計算した。提案方法は,到達性グラフの一部だけを探索することによって,デッドマーキングとFBMを得ることができる。最後に,提案方法を実証するために用例を提供した。Copyright 2021 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  ベクトル ,  整数線形計画法 ,  図式解法 ,  被覆 ,  マーキング ,  *Petriネット ,  デッドロック ,  *FMS【生産】
準シソーラス用語： 互いに素 ,  計算効率 ,  オーバヘッド ,  状態空間 ,  デッドメタル , 【Automatic Indexing@JST】

分類 (2件)： 図形・画像処理一般  (JE04010I) ,  パターン認識  (JE07000S)

タイトルに関連する用語 (4件)： フレキシブル生産システム ,  Petriネット ,  可到達性 ,  グラフ解析