Controlled Triangular Batches Petri Nets: a highway case study

Leonardo Brenner (1, 2) , Isabel Demongodin (1, 2)

1 LSIS - Laboratoire des Sciences de l'Information et des Systèmes
2 MOFED - Modèles et Formalismes à Evénements Discrets

In the discrete event and hybrid systems theory, Triangular Batches Petri Nets (TBPN) have been defined as an extension of Batches Petri Nets (BPN) to represent conges- tion/decongestion phenomena. Applied to mesoscopic modeling of traffic road networks, TBPN define a triangular flow-density relation, that allow to modeling these phenomena. An other extension, Controlled Triangular Batches Petri Nets (CTBPN) define controlled events in the formalism that allow to represent variation speed limit and flow when a control is applied on the traffic road networks. In this paper, we present the hybrid formalism defined in CTBPN, i.e., the hybrid behavior of a batch in free, congestion or decongestion behavior. A simulation method is introduced and a case study of a real highway is modeled. A comparison of the collected data and simulation results shows the accuracy of the model.

Mots clés: Petri Nets; Discrete Event Systems; Hybrid systems; Flow; Traffic road

Domaines: Informatique [cs]; Modélisation et simulation; Automatique

Leonardo Brenner, Isabel Demongodin. Controlled Triangular Batches Petri Nets: a highway case study. 29th European Modeling and Simulation Symposium (EMSS 2017), Sep 2017, Barcelona, Spain. ⟨hal-01785943⟩