Hendrik Oberheid, Dirk Söffker. Cooperative Arrival Management in Air Traffic Control - A Coloured Petri Net Model of Sequence Planning. In Kees M. van Hee, Rüdiger Valk, editors, Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, Xi an, China, June 23-27, 2008. Proceedings. Volume 5062 of Lecture Notes in Computer Science, pages 348-367, Springer, 2008. [doi]
Abstract is missing.