文献

J-GLOBAL ID：201802220948330728   整理番号：18A0180246

大規模離散事象システムのオブジェクト指向ペトリネットによるモデル化と解析

Modeling and Analysis of Large-Scale Discrete Event Systems Using Object-Oriented Petri Nets

著者 (1件)： 宮本俊幸 (大阪大学)
資料名： 計測と制御  (Journal of the Society of Instrument and Control Engineers)
巻： 56  号： 12  ページ： 961-966(J-STAGE)  発行年： 2017年 
JST資料番号： F0131A  ISSN： 0453-4662  CODEN： KESEA  資料種別： 逐次刊行物 (A)
記事区分： 解説  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： ペトリネットのオブジェクト指向化は,大規模複雑なシステムを小さなモデルの集まりにより記述することを可能とする。オブジェクト指向ペトリネットとそのモジュラー可達性解析について紹介した。ペトリネットの基本的な定義を説明し,解析に関する研究,ペトリネットの拡張に関する研究を紹介した。さらに,ペトリネットのオブジェクト指向化について紹介し,NwN(nets-within-nets)型階層構造を持つペトリネットのモジュラー可達性解析について紹介した。

シソーラス用語： *離散系 ,  離散事象シミュレーション ,  *Petriネット ,  方式 ,  *解析 ,  オブジェクト指向 ,  *離散事象系
準シソーラス用語： *離散事象システム ,  大規模離散事象システム ,  *オブジェクト指向ペトリネット ,  *可達性解析 ,  モジュラー可達性解析

著者キーワード (6件)： ペトリネット ,  オブジェクト指向 ,  可達性解析 ,  Petri net ,  object orientation ,  reachability analysis

分類 (2件)： システム工学一般  (IB01000S) ,  ネットワーク法  (KA03040X)

引用文献 (31件)：

• 1) ミニ特集「ペトリネット-離散事象システムのモデル」,計測と制御,28-9 (1989)
• 2) 特集「離散事象システム理論によるモデリングと制御の新展開」,計測と制御,52-12 (2013)
• 3) ミニ特集「離散・連続システムとしてのモデル化と制御」,計測と制御,56-7 (2017)
• 4) C. G. Cassandras and S. Lafortune: Introduction to Discrete Event Systems, 2nd ed, Springer-Verlag (2008)
• 5) P. J. Ramadge and W. M. Wonham: The control of discrete event systems, Proc. of the IEEE, 77-1, 81/98 (1989)

タイトルに関連する用語 (6件)： 大規模 ,  離散事象システム ,  オブジェクト指向 ,  ペトリネット ,  モデル化 ,  解析