条件/事象ネットに基づく離散事象システムの階層設計

1998 Fiscal Year Annual Research Report

• Project/Area Number: 09750492
• Research Institution: Nagoya University
• Principal Investigator: 橋爪 進 名古屋大学, 工学研究科, 講師 (60242913)
• Keywords: 条件 / 事象ネット / 離散事象システム / 階層設計 / 半言語 / ペトリネット / ネットの構成 / シーケンス制御系

Research Abstract

本研究では、離散事象システムの階層設計手法を開発するために、平成9年度にまず設計仕様を記述するいくつかの記述法を提案した。一つは半言語(事象の発生順序を表す形式的な言語)を頂点とする一つのグラフであり、これによって仕様を階層的に記述することができる。もう一つは半言語の集合上に逐次結合や並列結合などを表すいくつかの演算を定め、それらを用いて仕様を記述するものである。これによって仕様をいくつかのモジュールに分解して記述することができる。また、これらの記述法によって記述された仕様を満たすシステムの条件/事象ネットモデル(ペトリネットの一つのサブクラス)を構成する方法を示した。
平成10年度は、これらの結果を実システムの設計に適用するために、実システムとしてシーケンス制御系を取りあげ、次のことを行った。
1. シーケンス制御系を次のような手順で設計することを提案した。まず、平成9年度の結果を用いて、シーケンス制御系の動作仕様を記述し、その仕様を満たす条件/事象ネットを構成する。次に、構成した条件/事象ネットのコントローラ部分を取り出し、それに時間情報、条件情報、接点情報などを追加し、コントローラを実現する。
2. シーケンス制御系設計支援ツールをコンピュータ上に構築した。これは、コントローラ部分を表す条件/事象ネットと時間、条件、接点に関する情報を入力すると、プラントの実際のコントローラとして運用できるものであり、プラントの状態や履歴データを出力する機能を備えている。そして、このツールを用いて、現有設備のミニ選別搬送装置(ユニー社製)、組み換え自在型パイロットプラント(東洋エンジニアリング社製)の制御を試み、提案する設計法の妥当性を確認した。

Research Products

• [Publications] 橋爪進: "条件/事象ネットの制御に関する考察" 電子情報通信学会技術研究報告. CST98-3. 17-23 (1998)
• [Publications] 西村義行: "半言語による離散事象システム理論の展開" システム/制御/情報. 42・8. 421-427 (1998)
• [Publications] 松谷豊: "仕様に階層表現を用いた条件/事象ネットの構成" 計測自動制御学会論文集. 34・7. 836-843 (1998)
• [Publications] 橋爪進: "半言語の階層記述とそれの条件/事象ネット構成問題への応用" 計測自動制御学会論文集. 34・12. 1922-1929 (1998)