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 metadatas

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 : Wednesday, October 21, 2020 - 3:05:21 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), ⟨10.24846/v25i1y201605⟩. ⟨hal-02968005⟩

Share

Metrics

Record views

13

Files downloads

13