H

hpnmg

Analysis tool for hybrid Petri nets with general transitions.