Studies on the New Analysis Method of Petri Nets and Its Application to Automatic Program Generation

摘要

本論文では，離散事象システムのモデルとして理論/応用の両面で有用とされるペトリネットについて，その数学的解析の基本となる状態方程式について考察し,Fourier-Motzkin 法およびその改良によって，ペトリネットの状態方程式の解の表現ならびに従来の方法では得られなかった解が新たに求められることを明らかにするほか，本来，離散事象に対するものとして提案されたペトリネットの概念を一般化した時間なし連続ペトリネットについても解析を行っている．また，IT 社会の急速な進展に伴い，ますます重要度が増しているプログラムの生産性向上の技術のうち，プログラムの自動生成について取り上げ，その試作システムの構築を行っている．さらに試作したプログラム自動生成システムの運用において必須となるモジュールの入出力条件のチェックにペトリネットを利用する手法を開発し，その有用性を実証している．