Yojiro Harie, Yuta Mitsui, Kouhei Fujimori, Amit Batajoo, Katsumi Wasaki. HiPS: Hierarchical Petri Net design, simulation, verification and model checking tool. In IEEE 6th Global Conference on Consumer Electronics, GCCE 2017, Nagoya, Japan, October 24-27, 2017. pages 1-5, IEEE, 2017. [doi]
Abstract is missing.