WEKO3
アイテム
階層型ペトリネット設計・検証ツール：HiPS
https://ipsj.ixsq.nii.ac.jp/records/175029
https://ipsj.ixsq.nii.ac.jp/records/175029efa70c0f-dbe7-42bc-8110-bea90e428e42
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-ESS2016014.pdf (802.2 kB)
|
Copyright (c) 2016 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Symposium_02(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2016-10-13 | |||||||||||
| タイトル | ||||||||||||
| タイトル | 階層型ペトリネット設計・検証ツール：HiPS | |||||||||||
| 言語 | ||||||||||||
| 言語 | jpn | |||||||||||
| キーワード | ||||||||||||
| 主題Scheme | Other | |||||||||||
| 主題 | ポスター | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||
| 資源タイプ | conference paper | |||||||||||
| 著者所属 | ||||||||||||
| 信州大学大学院総合理工学研究科 | ||||||||||||
| 著者所属 | ||||||||||||
| 信州大学大学院総合工学系研究科 | ||||||||||||
| 著者所属 | ||||||||||||
| 信州大学工学部 | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| Graduate School of Science and Technology, Shinshu University | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| Interdisciplinaty Graduate School of Science and Technology, Shinshu University | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| Faculty of Engineering, Shinshu University | ||||||||||||
| 著者名 |
三井, 雄太
× 三井, 雄太
× 張江, 洋次朗
× 和崎, 克己
|
|||||||||||
| 論文抄録 | ||||||||||||
| 内容記述タイプ | Other | |||||||||||
| 内容記述 | 階層型のペトリネット設計エントリ機能と，動的 ・ 構造的性質の検証機能を有する HiPS (Hierarchical Petri net Simulator) ツールについて紹介する．本ツールは信州大学和崎研究室によって 2008 年から開発が進められて来た．P / T- net 向けの HiPS ver.1 と，Colored ネット向けの HiPS ver.2 がある．P / T- net 向けの検証機能としては，ランダムウォーク型シミュレーション，デッドロック状態検知器，安全性 ・ 公平性解析器，構造的解析器等が実装されている．モデル検査機能としては，状態空間生成器，LTL 仕様入力支援等が実装されている． | |||||||||||
| 書誌情報 |
組込みシステムシンポジウム2016論文集 巻 2016, p. 96-97, 発行日 2016-10-13 |
|||||||||||
| 出版者 | ||||||||||||
| 言語 | ja | |||||||||||
| 出版者 | 情報処理学会 | |||||||||||
