Modeling and analysis using hybrid Petri nets

TL;DR

This paper explores the extension of Petri nets to hybrid models for better representation and control of hybrid dynamic systems, introducing continuous and hybrid Petri net models for deterministic and nondeterministic systems.

Contribution

It presents novel hybrid Petri net models that extend traditional Petri nets for hybrid system modeling, analysis, and control, covering both deterministic and nondeterministic behaviors.

Findings

Continuous Petri net models derived from discrete PNs via fluidification.

Two hybrid Petri net models for different classes of hybrid dynamic systems.

Frameworks for modeling, analysis, and control of hybrid systems using hybrid Petri nets.

Abstract

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