離散事象システムにおける制御系列の自動生成の研究

1992 Fiscal Year Annual Research Report

• Project/Area Number: 03650342
• Research Institution: Fukui University
• Principal Investigator: 松本 忠 福井大学, 工学部, 教授 (40020193)
• Co-Investigator(Kenkyū-buntansha): 辻 孝吉 福井大学, 工学部, 助手 (00197675)
• Keywords: ペトリネット / 離散事象システム / シーケンス制御 / 制御系列 / スケジューリング / CIM / デッドロック / トラップ

Research Abstract

平成3年度は,「離散事象システムにおける制御系列の自動生成」を実現するため,まず,以下のような理論的研究を行った.
(1)ペトリネットの活性必要十分条件の導出結果をふまえ,ペトリネットの可到達性の必要十分条件をペトリネットの状態方程式の解から得られるシーケンスグラフを用いて導出した.
(2)ペトリネットの状態方程式を満足する一次独立な解を求めるための一方法を導出した.
(3)(1),(2)の結果を応用し,ネット構造と初期と目標のマーキングを与えることにより,制御系列を自動生成するアルゴリズムを導出した.
次に,導出したアルゴリズムの有用性を検証するための模擬生産システムを以下のように構成した.
(a)各アルゴリズムをワークステーション上で実現した.
(b)ロボットアームや各装置を接続し,各装置がワークステーションから制御可能であることを確認した.
平成4年度では,平成3年度の理論的検討結果をふまえ,以下のような研究を行った.
(1)ネット構造と初期と目標のマーキングを与えることにより,制御系列を自動生成するアルゴリズムのプログラム化を行い,シミュレーションにより発火系列を自動生成できることを確認した.
(2)発火系列だけでなく各種ペトリネット解析アルゴリズムのプログラム化を行い,模擬生産システムの設計,解析用ツールの充実を目指した.これにより,離散事象システムの解析が従来より容易に行うことができるようになった.
以上のように,本研究の研究実施計画の目標であった
(1)制御発火系列を自動生成するアルゴリズムの導出
(2)模擬生産システムの構成と制御
(3)導出したアルゴリズムのプログラム化と有効性の検証
は、ほぼ予定通りに行うことができた。

Research Products

• [Publications] Tadashi MATSUMOTO: "The necessary and sufficient condition for liveness of some timed Petri nets as well as Petri nets without time" IEEE International Symposium on Circuits and Systems. 2842-2845 (1991)
• [Publications] Tadashi MATSUMOTO: "The necessary and sufficient condition for liveness of timed Petri nets" IEICE KARUIZAWA Workshop on Circuits and Systems. 408-413 (1991)
• [Publications] Kohkichi TSUJI: "Structures for a homogeneous solution of the state equation of a special timed Petri net and their applications" IEEE International Symposium on Circuits and Systems. 834-837 (1991)
• [Publications] Kohkichi TSUJI: "The useful necessary and sufficient conditions for liveness of subclasses of timed Petri nets" IEEE International Conference on Circuits and Systems. 97-100 (1991)
• [Publications] Kohkichi TSUJI: "Initial-marking-based liveness conditions of subclasses of general Petri nets" Joint Technical Conference on Circuits/Systems,Computers and Communications. 510-515 (1991)
• [Publications] Tadashi MATSUMOTO: "A useful necessary condition and a simple sufficient condition for liveness of general Petri nets" Transactions of the IEICE of Japan. E74. 3124-3132 (1991)
• [Publications] Tadashi MATSUMOTO: "An equivalence net-condition between place-liveness and transition-liveness and its initial-marking-based necessary and sufficient liveness condition of Petri nets" IEEE International Symposium on Circuits and Systems. 1737-1740 (1992)
• [Publications] Tadashi MATSUMOTO: "The framework for the initial-marking-based necessary and sufficient liveness-condition of general Petri nets" Joint Technical Conference on Circuits/Systems,Computers and Communications. 603-608 (1992)
• [Publications] Tadashi MATSUMOTO: "How many live minimal structural traps are required to make an arbitrary minimal structural deadlock live in general Petri nets?" Joint Technical Conference on Circuits/Systems,Computers and Communications. 609-614 (1992)
• [Publications] Tadashi MATSUMOTO: "Automated extraction of fuzzy if-then rules using fuzzy Petri nets and its application to adaptive system control" Korea-Japan Joint Conference on Fuzzy Systems and Engineering. 37-40 (1992)
• [Publications] 松本 忠: "拡張マークグラフが活性であるための必要十分条件" 第6回回路とシステム軽井沢ワークショップ. (1993)
• [Publications] Kohkichi TSUJI: "On reachability conditions for unrestricted Petri nets" IEEE International Symposium on Circuits and Systems. (1993)
• [Publications] Tadashi MATSUMOTO: "The minimum number of live minimal structural traps to make an arbitrary minimal structural deadlock live in general Petri nets" IEEE International Symposium on Circuits and Systems. (1993)