Analysis tool for hybrid Petri nets with general transitions.