Hybrid Petri Nets is a good theory on how to discribe a hybrid system. And this is a great simulation software of hybrid petri nets which is written according to the theory of Hybrid Stochastic Timed Petri Nets. Details about the theory can be found in this paper.