1991 Fiscal Year Annual Research Report
| Project/Area Number |
03650342
|
|---|
| Research Institution | University of Fukui |
|---|
Principal Investigator |
松本 忠 福井大学, 工学部, 教授 (40020193)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
辻 孝吉 福井大学, 工学部, 助手 (00197675)
|
|---|
| Keywords | ペトリネット / 離散事象システム / シ-ケンス制御 / 制御系列 / スケジュ-リング / CIM / デッドロック / トラップ |
|---|
| Research Abstract |
本年度は,「離散事象システムにおける制御系列の自動生成」を実現するため,まず,以下のような理論的研究を行った.
(1)ペトリネットの活性必要十分条件の導出結果をふまえ,ペトリネットの可到達性の必要十分条件をペトリネットの状態方程式の解から得られるシ-ケンスグラフを用いて導出した.
(2)ペトリネットの状態方程式を満足する一次独立な解を求めるための一方法を導出した.
(3)(1),(2)の結果を応用し,ネット構造と初期と目標のマ-キングを与えることにより,制御系列を自動生成するアルゴリズムを導出した.
次に,導出したアルゴリズムの有用性を検証するための模擬生産システムを下のように構成した.
(a)各アルゴリズムをワ-クステ-シ上で実現した.
(b)ロボットア-ムや各装置を接続し,各装置がワ-クステ-ションから制御可能であることを確認した.
平成3年度の研究実施計画の目標であった
(1)制御発火系列を自動生成するアルゴリズムの導出
(2)模擬生産システムの構成
は、ほぼ予定通りに行うことができた.しかし、以下の点が次年度に解決しなければならない問題点として残っている。
・導出したアルゴリズムを扱えるネットの規模の拡大(階層化、分割)
・アルゴリズムの簡単化
・各ツ-ルを統合化と模擬生産システムの制御
これらの問題点の解決は、平成4年度の研究実施計画の中に組み入れられている。
|
Research Products
(7 results)
-
[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. (1992)
