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

摘要

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