HiPS: Hierarchical Petri Net design, simulation, verification and model checking tool | IEEE Conference Publication | IEEE Xplore