2003 Fiscal Year Annual Research Report

量子ネットモデルを用いた大規模コンカレントシステムの系統的解析・設計に関する研究

Research Project

Project/Area Number	14550403
Research Institution	Aichi Prefectural University
Principal Investigator	辻孝吉愛知県立大学, 情報科学部, 教授 (00197675)
Keywords	ペトリネット / 離散事象 / コンカレント / 量子ネット / ネット理論 / モデル化 / 自律分散 / 並行処理
Research Abstract	以下に示す研究計画・方法によって移動体を含む大規模なコンカレントシステムを系統的に解析・設計するための理論的研究とその成果を実システムへ応用するための研究を以下のように行った。 [1]理論的検討:移動体も含めてモデル化できる新しいモデルの性質の理論的検討とそれに関連するペトリネットの構造的性質などの理論的検討を行った。まず、(a)ペトリネットモデルのトークンを拡張した形の量子ネットモデルIや(b)移動体を陽にモデル化するため、上述(a)のモデルとは異なる量子ビットモデルIIの構造的性質を検討するため、ペトリネットのサブクラスや拡張クラスの構造的性質を検討すると共に、提案モデルの静的、動的性質の理論的検討、検証アルゴリズム等の検討を行った。また、(C)本モデルの検証アルゴリズムを並列分散処理させる方法についても検討した。 [2]プログラムパッケージの開発、模擬システムによる検証:上記理論的検討に基づいたプログラムパッケージを開発するための準備として、前年度のプログラムを改良し、ネットワークで結合された複数のコンピュータのデータを収集、プログラムの配信などするためのソフトウェアのプロトタイプを作成してその動作を検証した。また、負荷分散のデータを取り、同一仕様の機器を使用した場合のタスクの割り当てを検討した。 [3]研究成果:得られた結果を研究会、国際会議等で発表し、広く意見交換を行った。(11.研究発表参照)

Research Products
(6 results)

All Other

All Publications (6 results)

[Publications] A.Ohta, K.Tsuji: "Unfolding of Petri Nets with Semilinear reachability Set"Proceedings of the IEEE International Symposium on Circuits and Systems. (2004)
[Publications] A.Ohta, K.Tsuji: "Insufficiently Marked Siphon of Petiri Nets -Extention of Token-Free Siphon-"Proceedings of the IEEE International Symposium on Circuits and Systems. Vol.III. 244-247 (2003)
[Publications] A.Ohta, Hayashi, T., K.Tsuji: "Liveness Preserving Place Deletion in Petri Net"Proceedings of 2003 Joint Technical Conference on Circuits/Systems, Computers and Communications. 1755-1758 (2003)
[Publications] A.Ohta, K.Tsuji: "Fuzzy Timing Petri Net and Concurrency"Proceedings of SICE Annual Conference 2003. 511-512 (2003)
[Publications] 高山陽介, 太田淳, 辻孝吉: "ペトリネットを用いたCORBAのコールバック問題に対する検討"電子情報通信学会技術研究報告. Vol.103,No.634. 7-12 (2004)
[Publications] 木戸祐介, 太田淳, 辻孝吉: "Javaプログラムのネットモデルによる解析"計測自動制御学会第33回離散事象システム研究会. 11-16 (2003)

2003 Fiscal Year Annual Research Report

量子ネットモデルを用いた大規模コンカレントシステムの系統的解析・設計に関する研究

Principal Investigator

辻 孝吉 愛知県立大学, 情報科学部, 教授 (00197675)

Research Products

[Publications] A.Ohta, K.Tsuji: "Unfolding of Petri Nets with Semilinear reachability Set"Proceedings of the IEEE International Symposium on Circuits and Systems. (2004)

[Publications] A.Ohta, K.Tsuji: "Insufficiently Marked Siphon of Petiri Nets -Extention of Token-Free Siphon-"Proceedings of the IEEE International Symposium on Circuits and Systems. Vol.III. 244-247 (2003)

[Publications] A.Ohta, Hayashi, T., K.Tsuji: "Liveness Preserving Place Deletion in Petri Net"Proceedings of 2003 Joint Technical Conference on Circuits/Systems, Computers and Communications. 1755-1758 (2003)

[Publications] A.Ohta, K.Tsuji: "Fuzzy Timing Petri Net and Concurrency"Proceedings of SICE Annual Conference 2003. 511-512 (2003)

[Publications] 高山陽介, 太田 淳, 辻 孝吉: "ペトリネットを用いたCORBAのコールバック問題に対する検討"電子情報通信学会技術研究報告. Vol.103,No.634. 7-12 (2004)

[Publications] 木戸祐介, 太田 淳, 辻 孝吉: "Javaプログラムのネットモデルによる解析"計測自動制御学会 第33回離散事象システム研究会. 11-16 (2003)

辻孝吉愛知県立大学, 情報科学部, 教授 (00197675)

[Publications] 高山陽介, 太田淳, 辻孝吉: "ペトリネットを用いたCORBAのコールバック問題に対する検討"電子情報通信学会技術研究報告. Vol.103,No.634. 7-12 (2004)

[Publications] 木戸祐介, 太田淳, 辻孝吉: "Javaプログラムのネットモデルによる解析"計測自動制御学会第33回離散事象システム研究会. 11-16 (2003)