離散事象システムのモデル化と解析
Modeling and Analysis of Discrete Event Systems
離散事象システム(DES:discrete event system)とは,事象が離散的なタイミングで生起するこ
とにより状態が不連続に変化するようなシステムの総称である.このようなシステムは,計算
機システム,生産システム,通信ネットワークなど様々な領域に現れる.離散事象システムを
表現するために,オートマトンベースのモデル,グラフ的モデル,代数的モデル,論理モデル
等様々な形式的モデルが提案されており,これらを用いて離散事象システムモデル化と解析
において発生するさまざまな問題について研究を行う. 
生産システムのペトリネットによるモデル化


ドキュメント
離散事象システムのモデル化と制御 ([pdf], 325k)
ペトリネット理論 ([pdf], 298k)

リンク
計測自動制御学会離散事象システム部会
電子情報通信学会コンカレント工学研究会


[戻る]