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

1997 Fiscal Year Annual Research Report

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

Research Abstract

ネットワークで結合された生産システム全体の系統的解析・設計を行うために以下に示すような理論的検討およびCADプログラムの開発を行った。
1.理論的検討:システムの制御の問題は(a)ペトリネットの可到達性を、システムの不用な停止の有無は(b)ペトリネットの活性を調べることにより解析する事ができる。まず、可到達性を考える場合に重要である状態方程式の解の導出法とその並列処理について検討を行った。特に、応用上有用なクラス(拡張マークグラフ)において、接続行列を直接用いないでペトリネット変換を用いる解の導出法を提案し、実際に解が導出できることを示した。この変換規則はサブネットごとに適応することにより並列処理が可能な方法である。次に、拡張マークグラフにおいてマ-キングとネット構造を用いた可達性の必要十分条件を導出した。また、ネットワークにおけるあいまいな情報に対応するため、ペトリネットを拡張したファジィペトリネットについて検討を行い、本研究室で提案したモデルが従来のペトリネットを包含しているためネット理論を持ちいることができ、有用であることを示した。
2.CAD用プログラムの開発:(1)上記理論的検討に基づいた生産システム解析・設計用プログラムを開発した。更に、(2)平成元年度〜6年度に開発済のシーケンス制御系解析・設計用CADプログラムのプロトタイプ(シミュレータ、有界性、可到達性検証、活性検証)に本解析・設計用プログラムを統合するためのパッケージを開発した。
また、公開できるようになったプログラムから順次WWWサーバhttp://alice.aichi-pu.ac.jp/にて公開を行っている。

Research Products

• [Publications] 辻 孝吉: "拡張マークグラフの構造的性質の解析" 電子情報通信学会技術報告. CST96-11. 17-22 (1996)
• [Publications] Kohkichi TSUJI: "On Fuzzy Petri Nets" Proceedings of the IEICE KARUIZAWA Workshop on Circuits and Systems. 481-486 (1997)
• [Publications] Kohkichi TSUJI: "Analysis of Structural Properties in Extended Marked Graphs" Proceedings of the IEEE International Symposium on Circuits and Systems. 1005-1008 (1997)
• [Publications] 辻 孝吉: "拡張マークグラフの構造的性質と状態方程式の解について" 電子情報通信学会誌. J80-A・7. 1056-1063 (1997)
• [Publications] Kohkichi TSUJI: "Useful Necessary and Sufficient Condition for reachability of Extended Marked Graphs" Proceedings of the IEEE International Symposium on Circuits and Systems. (1998)
• [Publications] 半田 暢彦: "未来を拓く情報科学" リバティ書房, 216 (1997)