ペ トリネットによる離散事象システムのモデル化と制御

摘要

代のシステムはコンピュータを中心に構成されているため，システム内の離散的な信号·情報に着目し，その動作を適切に解析·制御する必要がある．このような背景から，システムの振舞いの離散的な側面を取り扱う離散事象システムに関する研究がシステム制御，計算機科学などの分野で行われている．離散事象システムは，事象の生起により，状態が離散的に遷移するようなシステムの総称であり，離散事象システムとしてみなすことができるシステムの例として，生産システム，シーケンス制御システム，オペレーティングシステム，データべースシステム，通信システムなどがあげられる[1].