ペトリネットモデルを用いた大規模生産システムの系統的解析・設計に関する研究

1996 Fiscal Year Annual Research Report

• Project/Area Number: 08650468
• Research Category: Grant-in-Aid for Scientific Research (C)
• Research Institution: Aichi Prefectural University
• Principal Investigator: 辻 孝吉 愛知県立大学, 学長直属, 助教授 (00197675)
• Keywords: ペトリネット / 離散事象システム / 生産システム / CIM / FA / 制御系列 / 並列分散処理 / デッドロック

Research Abstract

ネットワークで結合された生産システム全体の系統的解析・設計を行うために以下に示すような理論的検討およびCADプログラムの開発を行った。
1.理論的検討:システムの制御の問題は(a)ペトリネットの可到達性を、システムの不用な停止の有無は(b)ペトリネットの活性を調べることにより解析する事ができる。本年度は可到達性を考える場合に重要である状態方程式の解の導出法とその並列処理について検討を行った。特に、応用上有用なクラス(拡張マークグラフ)において、接続行列を直接用いないでペトリネット変換を用いる解の導出法を提案し、実際に解が導出できることを示した。この変換規則はサブネットごとに適応することにより並列処理が可能である。
2. CAD用プログラムの開発:(1)上記理論的検討に基づいた生産システム解析・設計用プログラムを開発した。更に、(2)平成元年度〜6年度に開発済のシーケンス制御系解析・設計用CADプログラムのプロトタイプ(シミュレータ、有界性、可到達性検証、活性検証)に本解析・設計用プログラムを統合するためのパッケージを開発した。

Research Products

• [Publications] 辻 孝吉: "拡張マークグラフの構造的性質の解析" 電子情報通信学会技術報告. CST96-11. 17-22 (1996)
• [Publications] Kohkichi TSUJI: "Analysis of Structural Properties in Extended Marked Graphs" Proceedings of the IEEE International Symposium on Circuits and Systems. (1997)