Translating Hybrid Petri Nets into Hybrid Automata

M. Gribaudo and A. Horváth

Abstract:

In this paper we discuss how hybrid Petri nets (HPN) 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.

Postscript

[Publications of András Horváth]