HiPS: Hierarchical Petri Net design, simulation, verification and model checking tool. - Yojiro Harie; Yuta Mitsui; Kouhei Fujimori; Amit Batajoo; Katsumi Wasaki (GCCE, 2017)