1997 Fiscal Year Annual Research Report
| Project/Area Number |
08650460
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Research Institution | University of Fukui |
|---|
Principal Investigator |
松本 忠 福井大学, 工学部, 教授 (40020193)
|
|---|
| Keywords | 離散事象システム / 可到達性 / ペトリネット / 実行可能発火シーケンス / 数理計画法 / スケジューリング |
|---|
| Research Abstract |
初年度(平成8年度)は数理計画法による離散事象システム(とくにペトリネットモデル)の動作解析法の基礎とそこにおける問題点を明かにした。問題点の1つは可到達性判定法の強化、確立であり、他の1つは実行可能発火シーケンスを求める有効なアルゴリズムの構築における臨界サイフォンの存在であった。
本年度(平成9年度)には、第1の問題点である可到達性判定法をネット分割手法により体系化し、枠組みに基盤を与えることができた。更には、活性条件と可到達性判定条件との融合を試みて、二,三の可到達性判定十分条件を導いた。現在、これらをより強化・改善するために、状態方程式の解の実数解空間からの考察を試みている(状態方程式の非負整数解は本質的には整数計画問題を解いて得られるものであるが、これはNP完全であるため、上述の近似アプローチを取っている)。第2の問題点である臨界サイフォンの検出法としての近似アルゴリズムを検討しており、次年度(平成10年度)にこれらを完成するとともに、具体的な応用システムでその有用性を検証する予定である。
|
-
[Publications] T.Matsumoto, Y.Tsuruta: "Necessary and sufficient condition for liveness of asymmetric choice Petri nets" IEICE Trans.on Funds.of ECCS. E80-A,3. 521-533 (1997)
-
[Publications] T.Matsumoto, K.Saikusa: "Minimum number of live minimal structural traps to make a minimal structural deadlock locally live in general Perti nets" IEICE Trans.on Funds.of ECCS. E81-A,1. 164-174 (1998)
-
[Publications] T.Matsumoto, Y.Miyano: "Reachability criteria for Petri nets with known firing count vectors" IEICE Trans.on Funds.of ECCS. E81-A,4. (1998)
-
[Publications] T.Matsumoto, Ahamed Tarek: "Finding legal firing sequence in basic reachability problems of Petri nets by minimum principle of Pontryagin" Proceedings of the 10th IEICE Karuizawa Workshop on Circuits and System. 321-326 (1997)
-
[Publications] T.Matsumoto: "Finding legal firing sequences in submarking reachability problems of Petri nets by descrete-time Pontryagin's minimum principle" Proceedings of ISCAS'97(IEEE). 1017-1020 (1997)
-
[Publications] T.Matsumoto, Y.Miyano, Y.-Z.Jiang: "Some useful sufficient criteria for basic reachability problem in general Petri nets" Proceedings of 1997 International Technical Conference on Circuit/Systems,Computers and Communications. 1103-1106 (1997)
-
[Publications] T.Matsumoto, K.Saikusa: "How many live minimal structural traps are required to make a minimal deadlock locally live in general Petr nets?" 福井大学工学部研究報告. 45,1. 45-57 (1997)
-
[Publications] T.Matsumoto, Y.Miyano, Y.-Z.Jiang: "Some useful sufficient criteria for basic reachability problems in general Petri nets" Proceedings of the 36th IEEE Conference on Dccision an Control. 4104-4109 (1997)
-
[Publications] T.Matsumoto, Y.Miyano: "Reachability criteria for Petri nets with known firing count vector" IEICE Technical Report. 96,493. 31-38 (1997)
-
[Publications] T.Matsumoto: "Minimum length legal firing sequences for submarking reachability problems in Petri nets" IEICE Technical Report. 96,493. 39-46 (1997)
-
[Publications] T.Matsumoto, Y.Miyano, Y.-Z.Jiang: "Some sufficient criteria for reachability in general Petri nets" IEICE Technical Report. 97,51. 39-46 (1997)
-
[Publications] T.Matsumoto, H.Ohno, M.Osogami: "Relationships between structure and behavior of partially ordered condition Petri nets and their subclasses : Loveness conclitions-Part II-" 計測自動制御学会,第20回離散事象システム研究会講演論文集. 1-8 (1997)
-
[Publications] 松本 忠: "一般化逆列によるペトリネットの挙動の評価について" 電気学会,産業システム情報化研究会. IIS-97-51. 23-29 (1997)
-
[Publications] 松本 忠,中尾 岳史,川腰 朋弥: "ペトリネットにおける挙動的トラップの一般構造について" 信学技報. 97,156. 21-28 (1997)
-
[Publications] 松本 忠: "ペトリネットのインバリアント基底系の簡易計算法" 信学技報. 97,156. 13-20 (1997)
-
[Publications] 加藤 拓人,松本 忠: "多重重み付きペトリネットの活性判定法" 信学技報. 97,401. 95-102 (1997)
