@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00175029,
 author = {三井, 雄太 and 張江, 洋次朗 and 和崎, 克己},
 book = {組込みシステムシンポジウム2016論文集},
 month = {Oct},
 note = {階層型のペトリネット設計エントリ機能と，動的 ・ 構造的性質の検証機能を有する HiPS (Hierarchical Petri net Simulator) ツールについて紹介する．本ツールは信州大学和崎研究室によって 2008 年から開発が進められて来た．P / T- net 向けの HiPS ver.1 と，Colored ネット向けの HiPS ver.2 がある．P / T- net 向けの検証機能としては，ランダムウォーク型シミュレーション，デッドロック状態検知器，安全性 ・ 公平性解析器，構造的解析器等が実装されている．モデル検査機能としては，状態空間生成器，LTL 仕様入力支援等が実装されている．},
 pages = {96--97},
 publisher = {情報処理学会},
 title = {階層型ペトリネット設計・検証ツール：HiPS},
 volume = {2016},
 year = {2016}
}