文献

J-GLOBAL ID：201902289690387243   整理番号：19A0516600

制御不能な遷移を持つPetriネットのクラスにおける最適変換線形制約の計算【JST・京大機械翻訳】

Computation of an Optimal Transformed Linear Constraint in a Class of Petri Nets With Uncontrollable Transitions

著者 (4件)： You Dan (School of Information and Electronic Engineering, Zhejiang Gongshang University, Hangzhou, China) ,  Wang Shouguang (School of Information and Electronic Engineering, Zhejiang Gongshang University, Hangzhou, China) ,  Li Zhiwu (School of Information and Electronic Engineering, Zhejiang Gongshang University, Hangzhou, China) ,  Wang Chengying (School of Information and Electronic Engineering, Zhejiang Gongshang University, Hangzhou, China)
資料名： IEEE Access  (IEEE Access)
巻： 5  ページ： 6780-6790  発行年： 2017年 
JST資料番号： W2422A  ISSN： 2169-3536  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 離散事象システム(DESs)を禁止状態に到達させる方法を決定することは,DES監視制御の分野における重要な問題である。非制御可能な事象を有するDESに対して,線形制約変換は,Petriネットをモデリングツールとして用いるとき,禁止状態問題を解くための一般的な技術になり,線形制約の形式で制御仕様を与える。本論文では,非制御可能サブネットを有するPT-通常Petriネットに適用可能な新しい線形制約変換アプローチを提案した。このようなネットに対して,線形制約は,提案手法を用いることにより,最適変換されたもの(すなわち,許容可能なマーキングセットを正確に特性化する線形制約)に変換することができる。これは,ネットサイズに関する多項式複雑性であることを計算的に示している。開発した技術を説明するための例を示した。Copyright 2019 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： キャラクタリゼーション ,  モデリング ,  多項式 ,  マーキング ,  *Petriネット ,  *線形性 ,  忍容性
準シソーラス用語： 複雑性 ,  許容性 ,  サブネットワーク ,  禁止 ,  離散事象系 , 【Automatic Indexing@JST】

分類 (3件)： パターン認識  (JE07000S) ,  数値計算  (JE02000J) ,  アンテナ  (ND06000M)

タイトルに関連する用語 (6件)： 遷移 ,  Petriネット ,  クラス ,  線形 ,  制約 ,  計算