1998 Fiscal Year Annual Research Report

数理計画法による離散事象システムの動作解析と応用

Research Project

Project/Area Number	08650460
Research Institution	Faculty of Engineering, Fukui University
Principal Investigator	松本忠福井大学, 工学部, 教授 (40020193)
Keywords	離散事象システム / 可到達性 / ペトリネット / 実行可能発火シーケンス / 数理計画法 / インバリアント / 活性システム / 臨界サイフォン
Research Abstract	システムを離散事象システムとしてとらえることは、ハードウェアおよびソフトウェアの両面での大規模かつ複雑なシステムに対して、その有効性が広く認識されてきている。しかし、離散事象システムはそもそも事象駆動型制御を基本としているため、その動作解析、設計、挙動評価などを困難なものにしている。本研究の目的は、離散事象システムの1つのモデルであるペトリネットの動作解析を数理計画法によって行って、上記難点を克服せんとするものである。初年度(平成8年度)に、ペトリネットの解析法の基本的な問題は、有用な可到達性判定法の強化・確立であることと、実行可能発火シーケンスを求める数理計画法における臨界サイフォンの存在であることを明示した。次年度(平成9年度)には、第1の問題点を克服するために、ネット分割法に活性条件を加味した1つの有用な方法を提案した。本年度(平成10年度)には、ネット分割による可達成性判定定理を堅固にするとともに、上記第2の問題である「数理計画法による発火シーケンスの決定における臨界サイフォン」の回避を、状態方程式の拡張特解を用いることにより行う方法を明らかにした。なお、本研究課題はこの3年間でかなり解決・整備されたものの、臨界サイフォンの検出アルゴリズムの更なる改良を行うことや数理計画法による動作解析法を代表的な実システムへ応用し、検証することなどは今後継続して研究することとしたい。

Research Products
(8 results)

All Other

All Publications (8 results)

[Publications] T.Matsumoto, Y.Miyano: "Reachability Criterion for Petri Nets with Known Firing Count Vectors" IEICE Trans.on Funds.of ECCS. E81-A,4. 628-634 (1998)
[Publications] T.Matsumoto, Y.-Z.Jiang, T.Matsuda: "Finding Legal Firing Sequence for Basic Reachability Problems in General Petri Nets via L-Q Optimal Control" Procs.ITC-CSCC'98. Vol.II. 1673-1676 (1998)
[Publications] 松本忠,伊藤秀樹,蒋映中: "ペトリネットの極小インバリアントのすべての求め方について" 信学技報(CST98-05). Vol.98,No.87. 31-38 (1998)
[Publications] 松本忠,蒋映中,伊藤秀樹: "ペトリネットの状態方程式の解について" 信学技報(CST98-06). Vol.98,No.87. 39-46 (1998)
[Publications] 蒋映中,松本忠: "線形2次形式最適制御による一般ペトリネットの実行可能発火系列の決定" 信学技報(CST98-13). Vol.98,No.220. 15-21 (1998)
[Publications] 伊藤秀樹,松本忠: "ペトリネットの極小インバリアントのすべての求め方に関する考察" 平成10年度電気関係学会北陸支部連合大会講演論文集. B-7. 103 (1998)
[Publications] Yingzhong Jiang, Tadashi Matsumoto: "Applying Game Playing Heuristic Search Approach to Reachability Problem for Petri Nets" 平成10年度電気関係学会北陸支部連合大会講演論文集. B-8. 115 (1998)
[Publications] 松本忠: "コンカレントシステムにおけるインバリアント-展望-" 信学技報(CST98-36). Vol.98,No.565. 51-58 (1999)

1998 Fiscal Year Annual Research Report

数理計画法による離散事象システムの動作解析と応用

Principal Investigator

松本 忠 福井大学, 工学部, 教授 (40020193)

Research Products

[Publications] T.Matsumoto, Y.Miyano: "Reachability Criterion for Petri Nets with Known Firing Count Vectors" IEICE Trans.on Funds.of ECCS. E81-A,4. 628-634 (1998)

[Publications] T.Matsumoto, Y.-Z.Jiang, T.Matsuda: "Finding Legal Firing Sequence for Basic Reachability Problems in General Petri Nets via L-Q Optimal Control" Procs.ITC-CSCC'98. Vol.II. 1673-1676 (1998)

[Publications] 松本 忠,伊藤 秀樹,蒋 映中: "ペトリネットの極小インバリアントのすべての求め方について" 信学技報(CST98-05). Vol.98,No.87. 31-38 (1998)

[Publications] 松本 忠,蒋 映中,伊藤 秀樹: "ペトリネットの状態方程式の解について" 信学技報(CST98-06). Vol.98,No.87. 39-46 (1998)

[Publications] 蒋 映中,松本 忠: "線形2次形式最適制御による一般ペトリネットの実行可能発火系列の決定" 信学技報(CST98-13). Vol.98,No.220. 15-21 (1998)

[Publications] 伊藤 秀樹,松本 忠: "ペトリネットの極小インバリアントのすべての求め方に関する考察" 平成10年度電気関係学会北陸支部連合大会講演論文集. B-7. 103 (1998)

[Publications] Yingzhong Jiang, Tadashi Matsumoto: "Applying Game Playing Heuristic Search Approach to Reachability Problem for Petri Nets" 平成10年度電気関係学会北陸支部連合大会講演論文集. B-8. 115 (1998)

[Publications] 松本 忠: "コンカレントシステムにおけるインバリアント-展望-" 信学技報(CST98-36). Vol.98,No.565. 51-58 (1999)

松本忠福井大学, 工学部, 教授 (40020193)

[Publications] 松本忠,伊藤秀樹,蒋映中: "ペトリネットの極小インバリアントのすべての求め方について" 信学技報(CST98-05). Vol.98,No.87. 31-38 (1998)

[Publications] 松本忠,蒋映中,伊藤秀樹: "ペトリネットの状態方程式の解について" 信学技報(CST98-06). Vol.98,No.87. 39-46 (1998)

[Publications] 蒋映中,松本忠: "線形2次形式最適制御による一般ペトリネットの実行可能発火系列の決定" 信学技報(CST98-13). Vol.98,No.220. 15-21 (1998)

[Publications] 伊藤秀樹,松本忠: "ペトリネットの極小インバリアントのすべての求め方に関する考察" 平成10年度電気関係学会北陸支部連合大会講演論文集. B-7. 103 (1998)

[Publications] 松本忠: "コンカレントシステムにおけるインバリアント-展望-" 信学技報(CST98-36). Vol.98,No.565. 51-58 (1999)