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 …

An automated warehouse system has two main components: an automated storage and
retrieval subsystem consisting of a number of aisles, each one served by a crane, and a …

The aim of this research has been to associate the modeling capacities of hybrid Petri nets
with the analysis power of hybrid automata in order to perform formal verification of hybrid …

The problem of avoiding oversaturated phenomena between two adjacent intersections by
intelligent traffic control strategy is addressed in this paper. The complex traffic behavior in …

In this paper, we investigate some important aspects of a new formalism for modelling and
verification of hybrid dynamic systems (HDS), which is called multisingular hybrid Petri nets …

The Urban traffic network is a typical example of a complex system called hybrid dynamic
system. It is also a multivariable and multi-scale system having the interaction of two …

Multisingular hybrid Petri net (MSHPN) is an extension of hybrid Petri nets enriched with the
capabilities of hybrid automata to achieve the practical expressive power of multisingular …

The recent advent of cyber-physical systems (CPSs) in end-user applications extends the
need for sophisticated model creation, simulation and system verification to new application …

Hybrid systems modelling remains a very popular topic within the modelling and simulation
community. Its expressiveness allows for the definition of highly complex systems that merge …

Au cours de ces dernières années, l'Algérie a connu une explosion énorme dans le parc
national d'automobiles, de plus l'incapacité de la plupart des villes à supporter tous ces …