State Space Search for Safe Time Petri Nets Based on Binary Decision Diagrams Tools: Application to Air Traffic Flow Management Problem - Université de Lorraine Accéder directement au contenu
Article Dans Une Revue Studies in Informatics and Control Année : 2016

State Space Search for Safe Time Petri Nets Based on Binary Decision Diagrams Tools: Application to Air Traffic Flow Management Problem

Fichier principal
Vignette du fichier
State-Space-SearchforSafe-Time-Petri-Nets-BasedonBinary-Decision-Diagrams-Tools-ApplicationtoAir-Traffic-Flow-Management-Problem.pdf (1.73 Mo) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-02968005 , version 1 (15-10-2020)

Identifiants

Citer

Mohamed Ali Kammoun, Nidhal Rezg, Zied Achour, Sadok Rezig. State Space Search for Safe Time Petri Nets Based on Binary Decision Diagrams Tools: Application to Air Traffic Flow Management Problem. Studies in Informatics and Control, 2016, 25 (1), pp.39-50. ⟨10.24846/v25i1y201605⟩. ⟨hal-02968005⟩
71 Consultations
47 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More