文献

J-GLOBAL ID：201902224277915577   整理番号：19A0516796

論理Petriネットの構成と両立性解析【JST・京大機械翻訳】

Composition of Logical Petri Nets and Compatibility Analysis

著者 (3件)： Luan Wenjing (College of Electronics and Information Engineering, Tongji University, Shanghai, China) ,  QI Liang (College of Electronics and Information Engineering, Tongji University, Shanghai, China) ,  Du Yuyue (College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao, China)
資料名： IEEE Access  (IEEE Access)
巻： 5  ページ： 9152-9162  発行年： 2017年 
JST資料番号： W2422A  ISSN： 2169-3536  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 論理Petriネット(LPN)は,バッチ処理機能を良く記述して,分析することができて,協調システムにおける値不確定性を通過することができた。それらの構造は,それらの等価阻害PNより単純である。それらを解析するために,ベクトル整合法を以前に与えた。本論文では,対話型LPN(ILPN)を提案した。それらの生存性と有界性を初めて分析した。適合性を構成システムに対して解析し,そのサブシステム間の正しい/適切な相互作用の可能性を反映した。実際に異なる協調能力を特性化するために,互換性をILPNに対して定義した。適合性,生存性,有界性,および保守性の間のいくつかの関係を明らかにした。提案した方法の有効性を検討するための例を示した。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】

分類 (4件)： 信号理論  (ND02020G) ,  計算機網  (JC03000K) ,  数値計算  (JE02000J) ,  符号理論  (ND02030R)

タイトルに関連する用語 (4件)： 論理 ,  Petriネット ,  両立性 ,  解析