Hierarchical Petri Net Simulator: Simulation, Design Validation, and Model Checking Tool for Hierarchical Place/Transition Petri Nets.

Yojiro Harie, Katsumi Wasaki

Browse the full SIMULTECH paper archive.