Development, validation and application of Stochastically and dynamically coloured Petri net model of ACAS operations for safety assessment purposes

F Netjasov, A Vidosavljevic, V Tosic, M.H.C. Everdij, HAP Blom

Research output: Contribution to journalArticleScientific

26 Citations (Scopus)
Original languageEnglish
Pages (from-to)167-195
Number of pages29
JournalTransportation Research. Part C: Emerging Technologies
Issue numberaug
Publication statusPublished - 2013

Bibliographical note

online first


  • CWTS 0.75 <= JFIS < 2.00

Cite this