Dynamically coloured Petri nets for air traffic management safety purposes
Dynamically coloured Petri nets for air traffic management safety purposes
Date
1997
Authors
Everdij, M.H.C.
Blom, H.A.P.
Klompstra, M.B.
Journal Title
Journal ISSN
Volume Title
Publisher
National Aerospace Laboratory NLR