WEKO3
アイテム
ペトリネットの新しい解析法とそのプログラム自動生成への応用に関する研究
https://doi.org/10.57375/00001512
https://doi.org/10.57375/0000151290bae257-4138-43ea-a58f-d84261d2ab50
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
osogami1.pdf (3.3 MB)
|
|
| Item type | 学位論文 / Thesis or Dissertation(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2012-10-04 | |||||
| タイトル | ||||||
| タイトル | ペトリネットの新しい解析法とそのプログラム自動生成への応用に関する研究 | |||||
| タイトル | ||||||
| タイトル | Studies on the New Analysis Method of Petri Nets and Its Application to Automatic Program Generation | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | プログラム自動生成 | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | 入出力条件 | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | ペトリネット | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | 特解 | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | Fourier-Motzkin法 | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_db06 | |||||
| 資源タイプ | doctoral thesis | |||||
| ID登録 | ||||||
| ID登録 | 10.57375/00001512 | |||||
| ID登録タイプ | JaLC | |||||
| アクセス権 | ||||||
| アクセス権 | open access | |||||
| アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
| 著者 |
恐神, 正博
× 恐神, 正博× Osogami, Masahiro |
|||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | 本論文では,離散事象システムのモデルとして理論/応用の両面で有用とされるペトリネットについて,その数学的解析の基本となる状態方程式について考察し,Fourier-Motzkin 法およびその改良によって,ペトリネットの状態方程式の解の表現ならびに従来の方法では得られなかった解が新たに求められることを明らかにするほか,本来,離散事象に対するものとして提案 されたペトリネットの概念を一般化した時間なし連続ペトリネットについても解析を行っている.また,IT 社会の急速な進展に伴い,ますます重要度が増しているプログラムの生産性向上の技術のうち,プログラムの自動生成について取り上げ,その試作システムの構築を行っている.さらに試作したプログラム自動生成システムの運用において必須となるモジュールの入出力条件のチェックにペトリネットを利用する手法を開発し,その有用性を実証している. | |||||
| 学位名 | ||||||
| 学位名 | 博士(工学) | |||||
| 学位授与機関 | ||||||
| 学位授与機関識別子Scheme | kakenhi | |||||
| 学位授与機関識別子 | 33401 | |||||
| 学位授与機関名 | 福井工業大学大学院工学研究科 | |||||
| 学位授与年度 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 2012 | |||||
| 学位授与年月日 | ||||||
| 学位授与年月日 | 2012-09-28 | |||||
| 学位授与番号 | ||||||
| 学位授与番号 | 工博乙第23号 | |||||
| 著者版フラグ | ||||||
| 出版タイプ | VoR | |||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
