ネット理論の体系化と応用に関する総合的研究

1986 年度 実績報告書

• 研究課題/領域番号: 61302048
• 研究機関: 東京工業大学
• 研究代表者: 市川 惇信 東京工大, 国立大学(その他), 教授 (60016714)
• 研究分担者: 久村 富持 早稲田大学, 理工学部, 教授 (20063620) ; 長谷川 健介 東京工業大学, 工学部, 教授 (80016302) ; 児玉 慎三 大阪大学, 工学部, 教授 (50028990) ; 嵩 忠雄 大阪大学, 基礎工学部, 教授 (50029378) ; 翁長 健治 広島大学, 工学部, 教授 (90029869)
• キーワード: ネット理論 / ペトリネット / 時間ペトリネット / 離散事象システム / 階層性 / 活性;有界性

研究概要

本年度の研究計画の各項目に対応してネット理論の応用的側面(1),(3),(6)(7)および理論的側面(2),(4),(5),(8)における成果を示す。(1)モデリングとシミュレーション:ペトリネットを待ち行列システム,通信プロトコル,分散システム,論理システム,スイッチング回路,および人間の集団行動,を表現するモデルとして用いること、ならびにそのときに解析できる問題を明らかにした。(2)活性・有界性とネット構造:ペトリネットの階層表現および複合ネットにおける活性の保存性を明らかとした。(3)制御と可達性:ペトリネットをFMSおよび生産スケヂューリングの制御システムを表現し、表現,解析,および設計に用いる方法を与えた。(4)モデルの等価性とシステム表現:ペトリネットを活性および有界性を保存するように縮約あるいは合成する方法を検討し、それらの間の等価性を検討した。(5)システムの階層性と動作表現:複合ネットを用いて分散システムの動作検証する方法を与え、階層性と活性の関係を明らかにした。(6)資源共用における効率性と同期:繰り返しスケジューリング工程における同期化問題に時間ペトリネットを用いる方法を提案し、事故時の復旧方策を立てることについて検討した。(7)時間ペトリネットによるシステムの性能評価:生産スケジューリングに時間ペトリネットを、また、シーケンス制御系に色付きペトリネットを用いて性能評価を行う方法を与えた。(8)この他、離散事象システムにおける初期に必要な資源量をペトリネットを用いて決定する問題,ネットのガロア体による代数的表現,自由発火ペトリネットの言語受理能力と表現能力,ペトリネットにおける状態不変性、など理論的成果をえた。
理論を主とする研究者と応用を指向する研究者の間の交流が良く行われ、総合研究の実があがったものと考える。

研究成果

• [文献書誌] K.Onaga: J.of the Franklin lnstitute. (1987)
• [文献書誌] K.Hasegawa: J.of System Science. (1987)
• [文献書誌] 翁長健治: 電子情報通信学会論文誌. J70-A巻2号. 185-194 (1987)
• [文献書誌] 梶谷洋司: 電子情報通信学会論文誌. J69-A巻6号. 679-686 (1986)
• [文献書誌] 時本博昭: 京都大学数理解析研究所講究録. 596号. 1-21 (1986)
• [文献書誌] 柴田一: 京都大学数理解析研究所講究録. 596号. 22-40 (1986)
• [文献書誌] A.Ichikawa: Proceedings of the 25th SICE Annual Conference. Vol.2. 1067-1070 (1986)
• [文献書誌] T.Hisamura: Proceedings of the 25th SICE Annual Conference. Vol.2. 1083-1086 (1986)
• [文献書誌] K.Nakamura: Proceedings of the 25th SICE Annual Conference. Vol.2. 1087-1090 (1986)
• [文献書誌] K.Onaga: J.of Parallel and Distributed Computing. Vol.3,No.2. 158-182 (1986)
• [文献書誌] N.Enoki: Proceedings of IEEE International Symposium on Circuits and Systems. 1222-1225 (1986)
• [文献書誌] S.Zaiming: J.of China Institute of Communications. Vol.7,No.4. 43-51 (1986)
• [文献書誌] S.Kumagai: Proceedings of Modelling and Adaptive Control. Vol.1,No.1. 215-225 (1986)
• [文献書誌] 長町三生: 情報処理学会研究報告47-A1-2. 86巻42号. 9-16 (1986)
• [文献書誌] 平石邦彦: 計測自動制御学会論文集. 22巻7号. 750-755 (1986)
• [文献書誌] 辻孝吉: 電子情報通信学会論文誌. J69-A巻7号. 840-849 (1986)
• [文献書誌] 新井英哲: 計測自動制御学会論文集. 22巻9号. 955-961 (1986)
• [文献書誌] S.Muro: Lecture Note in Computer Science(Springer-Verlag). 220. 158-179 (1986)
• [文献書誌] S.Muro: Conf.Record of IEEE Inter.Conf.on Communication. 620-624 (1986)
• [文献書誌] S.Muro;N.Abu El Ata,ed.: Modelling Techniques and Tools for Performance Analysis'85 North-Holland. 343-358 (1986)
• [文献書誌] T.Moriya: 電子情報通信学会技術研究報告COMP86-30. 86巻147号. 21-27 (1986)
• [文献書誌] T.Takine: IEEE J.on Selected Areas in Communications. Vol.SCA-4,No.6. 802-812 (1986)
• [文献書誌] 東野輝夫: 電子情報通信学会論文誌. J69-D巻10号. 1471-1480 (1986)
• [文献書誌] Y.Takahashi;J.P.Cabanel et al.eds: Local Communication Systems:LAN and PBX North-Holland. 423-426 (1986)
• [文献書誌] K.Tuji: Transactions of the IECE Japan. Vol.E69,No.12. 1279-1288 (1986)
• [文献書誌] 後藤邦夫: 電子情報通信学会論文誌. J69-D巻12号. 1569-1575 (1986)
• [文献書誌] N.Shima: Proceedings of International Computer Symposium'86. 1524-1534 (1986)
• [文献書誌] 上野修一: 電子情報通信学会技術研究報告CAS86-175. 86巻326号. 9-14 (1987)
• [文献書誌] 中村祐一: 電子情報通信学会技術研究報告CAS86-176. 86巻326号. 15-22 (1987)
• [文献書誌] 中村洋一: 電子情報通信学会技術研究報告CAS86-180. 86巻326号. 47-54 (1987)
• [文献書誌] 畑本恵子: 人間工学. 23巻1号. (1987)
• [文献書誌] 山田智彦: 電子情報通信学会論文誌. J70-A巻2号. 195-203 (1987)
• [文献書誌] 梶谷洋司: 電子情報通信学会論文誌. J70-A巻2号. 146-155 (1987)
• [文献書誌] T.Hasegawa et al.eds.: "Computer Networking and Performance Evaluation" North-Holland, 1-516 (1986)