文献

J-GLOBAL ID：201802225265502705   整理番号：18A1395879

阻害アークによるラベル付きPetriネットシステムの弱い(近似)検出可能性【JST・京大機械翻訳】

Weak (approximate) detectability of labeled Petri net systems with inhibitor arcs

著者 (3件)： Zhang Kuize (College of Automation, Harbin Engineering University, Harbin 150001, P.R. China) ,  Zhang Kuize (ACCESS Linnaeus Center, School of Electrical Engineering and Computer Science, KTH Royal Institute of Technology, 10044 Stockholm, Sweden) ,  Giua Alessandro (Department of Electrical and Electronic Engineering, University of Cagliari, 09123 Cagliari, Italy)
資料名： IFAC PapersOnLine  (IFAC PapersOnLine)
巻： 51  号： 7  ページ： 167-171  発行年： 2018年 
JST資料番号： W3101A  ISSN： 2405-8963  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： ラベル付きPetriネット(LPN)システムの弱い(近似的)検出可能性は,特性が満たされると,時間ステップ後のすべてのマーキングがラベルシーケンスにより決定できるようなシステムにより生成される無限ラベルシーケンスが存在する。具体的には,LPNシステムの弱い検出可能性を決定する問題が,LPNシステムの抑制アークと弱い近似検出可能性により決定できないことを証明した。Copyright 2018 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *Petriネット ,  マーキング ,  *アーク放電 ,  *近似法
準シソーラス用語： 時間ステップ , 【Automatic Indexing@JST】

著者キーワード (4件)： 阻害アークを持つPetriネット ,  弱い検出性 ,  弱い近似検出可能性 ,  決定可能性

分類 (1件)： 計算理論  (JB02000A)

タイトルに関連する用語 (5件)： 阻害 ,  アーク ,  ラベル ,  Petriネット ,  近似