@article{ ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTAxNi9zMTQ3NC02NjcwKDE3KTQzODE5LTU, title = {Dynamically Coloured Petri Nets for Air Traffic Management Safety Purposes}, journal = {IFAC Proceedings Volumes}, volume = {30}, number = {8}, pages = {169-174}, author = {Everdij, M.H.C. and Blom, H.A.P. and Klompstra, M.B.}, publisher = {Elsevier BV}, year = {1997}, issn = {1474-6670}, language = {English}, url = {http://dx.doi.org/10.1016/s1474-6670(17)43819-5}, url = {https://katalog.ba-sachsen.de/Record/ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTAxNi9zMTQ3NC02NjcwKDE3KTQzODE5LTU} }