Skip to Main content Skip to Navigation
Journal articles

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

Document type :
Journal articles
Complete list of metadata

Cited literature [35 references]  Display  Hide  Download

https://hal.univ-lorraine.fr/hal-02968005
Contributor : Sadok Rezig <>
Submitted on : Thursday, October 15, 2020 - 12:20:36 PM
Last modification on : Thursday, November 5, 2020 - 3:06:59 AM

File

State-Space-SearchforSafe-Time...
Publisher files allowed on an open archive

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

26

Files downloads

59