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, Informatics and Control Publications, 2016, 25 (1), pp.39-50.
⟨10.24846/v25i1y201605⟩.
⟨hal-02968005⟩