  This paper is devoted to the use of hybrid Petri nets (PNs) for modeling and
control of hybrid dynamic systems (HDS). Modeling, analysis and control of HDS
attract ever more of researchers' attention and several works have been devoted
to these topics. We consider in this paper the extensions of the PN formalism
(initially conceived for modeling and analysis of discrete event systems) in
the direction of hybrid modeling. We present, first, the continuous PN models.
These models are obtained from discrete PNs by the fluidification of the
markings. They constitute the first steps in the extension of PNs toward hybrid
modeling. Then, we present two hybrid PN models, which differ in the class of
HDS they can deal with. The first one is used for deterministic HDS modeling,
whereas the second one can deal with HDS with nondeterministic behavior.
Keywords: Hybrid dynamic systems; D-elementary hybrid Petri nets; Hybrid
automata; Controller synthesis
