Art

J-GLOBAL ID：201802220948330728   Reference number：18A0180246

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

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

Author (1)： MIYAMOTO TOSHIYUKI (大阪大学)
Material： 計測と制御  (Journal of the Society of Instrument and Control Engineers)
Volume： 56  Issue： 12  Page： 961-966(J-STAGE)  Publication year： 2017 
JST Material Number： F0131A  ISSN： 0453-4662  CODEN： KESEA  Document type： Article
Article type： 解説  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *discrete system ,  discrete event simulation ,  *Petri net ,  method ,  *analysis
Semi thesaurus term： *discrete event system ,  大規模離散事象システム ,  Object orientation ,  *オブジェクト指向ペトリネット ,  *可達性解析 ,  モジュラー可達性解析

Author keywords (6)： ペトリネット ,  オブジェクト指向 ,  可達性解析 ,  Petri net ,  object orientation ,  reachability analysis

JST classification (2)： System engineering in general  (IB01000S) ,  Network methods  (KA03040X)

Reference (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)

Terms in the title (6)： 大規模 ,  離散事象システム ,  オブジェクト指向 ,  ペトリネット ,  モデル化 ,  解析