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

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

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