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

利用Petri网进行大规模生产系统的系统分析与设计研究

基本信息

批准号：
07750455
负责人：
辻孝吉
金额：
$ 0.64万
依托单位：
Aichi Prefectural University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1995
资助国家：
日本
起止时间：
1995 至无数据
项目状态：
已结题

项目摘要

生産システム全体の系統的設計をペトリネットモデルを用いて容易に行うための理論的研究と理論的成果を実システムへ応用するため、以下に示すような理論的検討およびCADプログラムの開発を行った。1.理論的検討:システムの制御の問題は(a)ペトリネットの可到達性を、システムの不用な停止の有無は(b)ペトリネットの活性を調べることにより解析する事ができる。本年度は、系統的設計を行うための基礎理論として以下の研究を行った。特に、大規模なシステムの解析・設計をする場合には、(1)各機能部分ごとに解析・設計をし、全体システムを組み立てるという手法と(2)全体システムを分割して解析・設計を行うという手法が用いられるので、本研究でも次のように2つのアプローチで研究を行った。(1)プロトコルを規定する状態遷移表のモデル化規則導出時の検討結果を踏まえ、それらのモデルの結合規則と結合後に得られるペトリネットモデルの検証しやすい可達性必要十分条件とその検証アルゴリズムを導出した。(2)平成元年度〜平成6年度のシーケンス制御系に対する可到達性、活性の結果をふまえ、トランスポート層のペトリネットモデル化規則の導出した。更に、プロトコル機能の一部をモデル化する場合に有用である拡張マークグラフ(ペトリネットのサブクラス)の可到達性を検討し、その必要十分条件を導出した。更に、可到達性を保った拡張マークグラフの分割規則を導出した。2.CAD用プログラムの開発:上記理論的検討に基づいた生産システム解析・設計用プログラムパッケージを開発した。更に、平成元年度〜6年度に開発済のシーケンス制御解析・設計用CADプログラムのプロトタイプ(シミュレータ、有界性、可到達性検証、活性検証)に本解析・設計用プログラムを統合するため、開発済プログラムの改善を行った。

为了将理论研究和理论结果应用于实际系统，以使用Petri Net模型轻松设计整个生产系统，以下理论研究和CAD计划。 1。理论考虑：可以通过（a）检查培养皿网的到达性，以及（b）检查培养皿网的活性来分析系统控制问题。今年，我们作为系统设计的基本理论进行了以下研究。特别是，在分析和设计大规模系统时，（1）分析和设计每个功能零件并组装整个系统，以及（2）通过拆分整个系统来分析和设计整个系统，因此本研究是使用两种方法进行的，如下所示。（1）基于调查的结果，在定义协议的状态过渡表的建模规则时，我们为这些模型的加入规则提供了必要的条件，以及加入后获得的PETRI NET模型的易于验证的可及性，以及验证算法的验证算法，以验证具有约束力规则的验证。（2）根据1989年至1994年的序列控制系统的可及性和活动结果，得出了运输层的培养皿净建模规则。此外，我们研究了扩展标记图（Petri Nets的子类）的可达到性，这些功能在对协议函数的一部分进行建模时很有用，并为此得出了必要和充分的条件。此外，我们得出了维持可及性的扩展标记图的划分规则。 2。开发CAD计划：基于上述理论检查开发了用于生产系统分析和设计的程序包。此外，开发的程序得到了改进，以将该分析和设计程序整合到1989年至1989年之间开发的序列控制分析和设计CAD程序的原型（模拟器，界限，可及性验证，活动验证）中。