文献

J-GLOBAL ID：201702277484317957   整理番号：17A1510874

無限サーバ意味論のもとでの時間付き連続PetriネットにおけるHomothecy,分岐,連続性と単調性【Powered by NICT】

Homothecy, bifurcations, continuity and monotonicity in timed continuous Petri nets under infinite server semantics

著者 (3件)： Navarro-Gutierrez Manuel (CINVESTAV-IPN, Unidad Guadalajara, Av. del Bosque 1145, Zapopan, 45019, Jalisco, Mexico) ,  Ramirez-Trevino Antonio (CINVESTAV-IPN, Unidad Guadalajara, Av. del Bosque 1145, Zapopan, 45019, Jalisco, Mexico) ,  Silva Manuel (Instituto de Investigacion en Ingenieria de Aragon (I3A), Universidad de Zaragoza, Maria de Luna 1, 50018 Zaragoza, Spain)
資料名： Nonlinear Analysis: Hybrid Systems  (Nonlinear Analysis: Hybrid Systems)
巻： 26  ページ： 48-67  発行年： 2017年 
JST資料番号： A1179A  ISSN： 1751-570X  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 遷移発火速度は変化する平衡マーキングとスループット時間付き連続Petriネット(TCPN)システムでどのように変化するかを研究した。特に,前者の分岐,および後者の不連続性と非単調性を解析した;具体的には,ネットの構造物,P準流,T準流と形態などを用いて,他のものの中で,次のような特性を得ることができた。結合自由TCPN系では,発火率が変動する場合平衡マーキングは,分岐しないことを保証する十分な構造的条件を導いた。選択自由TCPN系に対して得られた二重結果。モノT Semiflow TCPN系に対して,平衡スループットが調査した。時間スケール(相似)特性を用いて,平衡スループットの不連続性はその非単調性を意味することを証明した,一見したところ明らかではなかった。これは平衡スループットの二時間行動特性の接続である。平衡マーキングによってパラメータ化され,十分な構造的条件は発火率変動の下でのその連続性を保証する。も平衡スループットの単調性は以前の構造条件によって特徴づけることができることを証明した。平衡マーキングにTCPNシステムのマーキング進化の収束についても考察した。Copyright 2017 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

シソーラス用語： *連続性 ,  不連続性 ,  パラメタリゼーション ,  構造物 ,  *意味論 ,  マーキング ,  *Petriネット ,  スループット
準シソーラス用語： *単調性 , 【Automatic Indexing@JST】

著者キーワード (3件)： 連続Petriネット ,  区分的線形システム ,  性能挙動

分類 (2件)： 岩盤の力学的性質  (HE02000H) ,  システム設計・解析  (IA02030D)

タイトルに関連する用語 (7件)： 無限 ,  サーバ ,  意味論 ,  Petriネット ,  分岐 ,  連続性 ,  単調性