On hybrid Petri nets

Petri nets (PNs) are widely used to model discrete event dynamic systems (c omputer systems, manufacturing systems, communication systems, etc). Contin uous Petri nets (in which the markings are real numbers and the transition firings are continuous) were defined more recently; such a PN may model a c ontinuous system or approximate a discrete system. A hybrid Petri net can b e obtained if one part is discrete and another part is continuous. This paper is basically a survey of the work of the authors' team on hybrid PNs (definition, properties, modeling). In addition, it contains new mater ial such as the definition of extended hybrid PNs and several applications, explanations and comments about the timings in Petri nets, more on the con flict resolution in hybrid PNs, and connection between hybrid PNs and hybri d automata. The paper is illustrated by many examples.