{"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00175029","sets":["6164:6165:6561:8924"]},"path":["8924"],"owner":"11","recid":"175029","title":["階層型ペトリネット設計・検証ツール：HiPS"],"pubdate":{"attribute_name":"公開日","attribute_value":"2016-10-13"},"_buckets":{"deposit":"372550a4-f5d3-4870-920a-8aae8da33d32"},"_deposit":{"id":"175029","pid":{"type":"depid","value":"175029","revision_id":0},"owners":[11],"status":"published","created_by":11},"item_title":"階層型ペトリネット設計・検証ツール：HiPS","author_link":["363852","363851","363850"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"階層型ペトリネット設計・検証ツール：HiPS"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"ポスター","subitem_subject_scheme":"Other"}]},"item_type_id":"29","publish_date":"2016-10-13","item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_29_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"信州大学大学院総合理工学研究科"},{"subitem_text_value":"信州大学大学院総合工学系研究科"},{"subitem_text_value":"信州大学工学部"}]},"item_29_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Graduate School of Science and Technology, Shinshu University","subitem_text_language":"en"},{"subitem_text_value":"Interdisciplinaty Graduate School of Science and Technology, Shinshu University","subitem_text_language":"en"},{"subitem_text_value":"Faculty of Engineering, Shinshu University","subitem_text_language":"en"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/175029/files/IPSJ-ESS2016014.pdf","label":"IPSJ-ESS2016014.pdf"},"date":[{"dateType":"Available","dateValue":"2018-10-15"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-ESS2016014.pdf","filesize":[{"value":"802.2 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"330","billingrole":"42"},{"tax":["include_tax"],"price":"330","billingrole":"44"}],"accessrole":"open_date","version_id":"5492dee7-3a59-4591-820e-dfe82a061a30","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2016 by the Information Processing Society of Japan"}]},"item_29_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"三井, 雄太"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"張江, 洋次朗"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"和崎, 克己"}],"nameIdentifiers":[{}]}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_5794","resourcetype":"conference paper"}]},"item_29_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"階層型のペトリネット設計エントリ機能と，動的 ・ 構造的性質の検証機能を有する HiPS (Hierarchical Petri net Simulator) ツールについて紹介する．本ツールは信州大学和崎研究室によって 2008 年から開発が進められて来た．P / T- net 向けの HiPS ver.1 と，Colored ネット向けの HiPS ver.2 がある．P / T- net 向けの検証機能としては，ランダムウォーク型シミュレーション，デッドロック状態検知器，安全性 ・ 公平性解析器，構造的解析器等が実装されている．モデル検査機能としては，状態空間生成器，LTL 仕様入力支援等が実装されている．","subitem_description_type":"Other"}]},"item_29_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"97","bibliographic_titles":[{"bibliographic_title":"組込みシステムシンポジウム2016論文集"}],"bibliographicPageStart":"96","bibliographicIssueDates":{"bibliographicIssueDate":"2016-10-13","bibliographicIssueDateType":"Issued"},"bibliographicVolumeNumber":"2016"}]},"relation_version_is_last":true,"weko_creator_id":"11"},"id":175029,"updated":"2025-01-20T06:21:53.283210+00:00","links":{},"created":"2025-01-19T00:45:05.057874+00:00"}