Modeling hybrid positive systems with hybrid petri nets