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

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

• 批准号: 08650468
• 负责人: 辻 孝吉
• 金额: $ 1.41万
• 依托单位: Aichi Prefectural University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 1996
• 资助国家: 日本
• 起止时间: 1996 至 1997
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-08650468/
• 关键词: ペトリネット; 離散事象システム; 生産システム; CIM; FA; 制御系列; 並列分散処理; デッドロック

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

The analysis and design of the whole production system are shown below. 1. Theoretical discussion: the problem of system control is (a) the accessibility of the selected species, the availability of the selected species, and (b) the modulation of the activity of the selected species. The solution of equation of state and the parallel processing are discussed in this paper. In particular, it is useful to use the method of deriving the solution directly from the selection of the column. In fact, it is necessary to derive the solution directly from the column. The rules of this change are applicable to all possible ways of dealing with it. The necessary conditions for accessibility are derived. This paper presents a proposal for the development of a new type of computer system, including the development of a new type of computer system. 2. Development of CAD application framework:(1) Development of CAD application framework based on theoretical analysis and design. In addition,(2) Development of CAD system analysis and design CAD platform integration for Heisei 1st ~ 6th year (s) For example: http://alice.aichi-pu.ac.jp/

项目成果

辻 孝吉: "拡張マークグラフの構造的性質の解析" 電子情報通信学会技術報告. CST96-11. 17-22 (1996)

Kokichi Tsuji：“扩展标记图的结构特性分析”IEICE 技术报告 17-22 (1996)。

Kohkichi TSUJI: "On Fuzzy Petri Nets" Proceedings of the IEICE KARUIZAWA Workshop on Circuits and Systems. 481-486 (1997)

Kohkichi TSUJI：“论模糊 Petri 网”IEICE KARUIZAWA 电路与系统研讨会论文集。

Kohkichi TSUJI: "Analysis of Structural Properties in Extended Marked Graphs" Proceedings of the IEEE International Symposium on Circuits and Systems. 1005-1008 (1997)

Kohkichi TSUJI：“扩展标记图中结构特性的分析”IEEE 国际电路与系统研讨会论文集。

半田 暢彦: "未来を拓く情報科学" リバティ書房, 216 (1997)

半田信彦：“开辟未来的信息科学”《Liberty Shobo》，216（1997）

Kohkichi TSUJI: "Analysis of Structural Properties in Extended Marked Graphs" Proceedings of the IEEE International Symposium on Circuits and Systems. (1997)

Kohkichi TSUJI：“扩展标记图中结构特性的分析”IEEE 国际电路与系统研讨会论文集。