Translating hybrid Petri nets into hybrid automata
Marco Gribaudo, András Horváth · 2003
... can be translated into hybrid automata. Hybrid (or Fluid) Petri nets are Petri net (PN) based model with two classes of places: discrete places that carry a natural number of distinct objects (tokens), and fluid places that hold a positive amount of fluid, represented by a real number. The HPN formalism we present in this work allows for defining the system model using nondeterministic transition rates and is intended for analysis in non-stochastic setting.