Art

J-GLOBAL ID：201902277981224906   Reference number：19A1955499

Reachability Analysis of Petri Nets

ペトリネットの可達解析

Author (1)： MIYAMOTO TOSHIYUKI (大阪大学大学院工学研究科 電気電子情報工学専攻)
Material： Fundamentals Review (Web)  (Fundam Rev (Web))
Volume： 13  Issue： 1  Page： 20-27(J-STAGE)  Publication year： 2019 
JST Material Number： U0221A  ISSN： 1882-0875  Document type： Article
Article type： 解説  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *Petri net ,  discrete system ,  modeling ,  *reachability ,  computational complexity ,  binary decision diagram ,  discrete event system
Semi thesaurus term： modeling ,  reachability ,  discrete event system

Author keywords (14)： ペトリネット ,  可達問題 ,  二分決定グラフ ,  ゼロサプレス型BDD ,  アンフォールディング ,  モジュラー解析 ,  モデル検査 ,  Petri net ,  reachability problem ,  BDD ,  ZDD ,  unfolding ,  modular analysis ,  model checking

JST classification (1)： Basics of graph theory  (IA02020S)

Reference (43)：

• (1) T. Murata, “Petri nets: Properties, analysis and applications,” Proc. IEEE, vol. 77, no. 4, pp. 541-580, 1989.
• (2) 太田 淳,辻 孝吉,“ネット理論-ペトリネットとその解析問題-,” IEICE Fundamentals Review, vol. 2, no. 4, pp. 56-67, April 2009.
• (3) 名嘉村盛和,“ペトリネットに基づくスケジューリング問題へのアプローチ,” IEICE Fundamentals Review, vol. 8, no. 4, pp. 314-321, April 2015.
• (4) 豊嶋伊知郎,山口真悟,“ペトリネットによるワークフローのリファクタリングとシステム開発における活用の可能性,” IEICE Fundamentals Review, vol. 9, no. 4, pp. 340-349, April 2016.
• (5) E.W. Mayr, “An algorithm for the general Petri net reachability problem,” Proc. STOC, pp. 238-246, 1981.

Terms in the title (2)： ペトリネット ,  解析