{"created":"2023-06-20T13:43:43.097776+00:00","id":1518,"links":{},"metadata":{"_buckets":{"deposit":"9500a054-8dfa-4b95-9f37-0872286aa164"},"_deposit":{"created_by":4,"id":"1518","owners":[4],"pid":{"revision_id":0,"type":"depid","value":"1518"},"status":"published"},"_oai":{"id":"oai:fut.repo.nii.ac.jp:00001518","sets":["2"]},"author_link":["5315","5314"],"item_10006_date_granted_11":{"attribute_name":"学位授与年月日","attribute_value_mlt":[{"subitem_dategranted":"2012-09-28"}]},"item_10006_degree_grantor_9":{"attribute_name":"学位授与機関","attribute_value_mlt":[{"subitem_degreegrantor":[{"subitem_degreegrantor_name":"福井工業大学大学院工学研究科"}],"subitem_degreegrantor_identifier":[{"subitem_degreegrantor_identifier_name":"33401","subitem_degreegrantor_identifier_scheme":"kakenhi"}]}]},"item_10006_degree_name_8":{"attribute_name":"学位名","attribute_value_mlt":[{"subitem_degreename":"博士(工学)"}]},"item_10006_description_10":{"attribute_name":"学位授与年度","attribute_value_mlt":[{"subitem_description":"2012","subitem_description_type":"Other"}]},"item_10006_description_7":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"本論文では,離散事象システムのモデルとして理論/応用の両面で有用とされるペトリネットについて,その数学的解析の基本となる状態方程式について考察し,Fourier-Motzkin 法およびその改良によって,ペトリネットの状態方程式の解の表現ならびに従来の方法では得られなかった解が新たに求められることを明らかにするほか,本来,離散事象に対するものとして提案 されたペトリネットの概念を一般化した時間なし連続ペトリネットについても解析を行っている.また,IT 社会の急速な進展に伴い,ますます重要度が増しているプログラムの生産性向上の技術のうち,プログラムの自動生成について取り上げ,その試作システムの構築を行っている.さらに試作したプログラム自動生成システムの運用において必須となるモジュールの入出力条件のチェックにペトリネットを利用する手法を開発し,その有用性を実証している.","subitem_description_type":"Abstract"}]},"item_10006_dissertation_number_12":{"attribute_name":"学位授与番号","attribute_value_mlt":[{"subitem_dissertationnumber":"工博乙第23号"}]},"item_10006_identifier_registration":{"attribute_name":"ID登録","attribute_value_mlt":[{"subitem_identifier_reg_text":"10.57375/00001512","subitem_identifier_reg_type":"JaLC"}]},"item_10006_version_type_18":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_access_right":{"attribute_name":"アクセス権","attribute_value_mlt":[{"subitem_access_right":"open access","subitem_access_right_uri":"http://purl.org/coar/access_right/c_abf2"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"恐神, 正博"},{"creatorName":"オソガミ, マサヒロ","creatorNameLang":"ja-Kana"}],"nameIdentifiers":[{"nameIdentifier":"5314","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"Osogami, Masahiro","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"5315","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2022-09-07"}],"displaytype":"detail","filename":"osogami1.pdf","filesize":[{"value":"3.3 MB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"osogami1.pdf","url":"https://fut.repo.nii.ac.jp/record/1518/files/osogami1.pdf"},"version_id":"5a9f87b5-8198-4e65-85dd-bc4344c2b932"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"プログラム自動生成","subitem_subject_scheme":"Other"},{"subitem_subject":"入出力条件","subitem_subject_scheme":"Other"},{"subitem_subject":"ペトリネット","subitem_subject_scheme":"Other"},{"subitem_subject":"特解","subitem_subject_scheme":"Other"},{"subitem_subject":"Fourier-Motzkin法","subitem_subject_scheme":"Other"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"doctoral thesis","resourceuri":"http://purl.org/coar/resource_type/c_db06"}]},"item_title":"ペトリネットの新しい解析法とそのプログラム自動生成への応用に関する研究","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"ペトリネットの新しい解析法とそのプログラム自動生成への応用に関する研究"},{"subitem_title":"Studies on the New Analysis Method of Petri Nets and Its Application to Automatic Program Generation","subitem_title_language":"en"}]},"item_type_id":"10006","owner":"4","path":["2"],"pubdate":{"attribute_name":"公開日","attribute_value":"2012-10-04"},"publish_date":"2012-10-04","publish_status":"0","recid":"1518","relation_version_is_last":true,"title":["ペトリネットの新しい解析法とそのプログラム自動生成への応用に関する研究"],"weko_creator_id":"4","weko_shared_id":-1},"updated":"2023-06-20T13:56:33.791557+00:00"}