State Space Search for Safe Time Petri Nets Based on Binary Decision Diagrams Tools: Application to Air Traffic Flow Management Problem - Université de Lorraine Access content directly
Journal Articles Studies in Informatics and Control Year : 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
Origin Publisher files allowed on an open archive
Loading...

Dates and versions

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

Identifiers

Cite

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 View
47 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More