Inproceedings,

Colored Petri Net Based Formal Airport Control Model for Simulation and Analysis of Airport Control Processes.

, , and .
HCI (12), volume 4561 of Lecture Notes in Computer Science, page 1027-1036. Springer, (2007)

Meta data

Tags

Users

  • @dblp

Comments and Reviews