@inproceedings{DHM-2007-WertherMR,
	author        = "Bernd Werther and Christoph Möhlenbrink and Michael Rudolph",
	booktitle     = "{Proceedings of the First International Conference on Digital Human Modeling}",
	doi           = "10.1007/978-3-540-73321-8_115",
	isbn          = "978-3-540-73318-8",
	pages         = "1027--1036",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Colored Petri Net Based Formal Airport Control Model for Simulation and Analysis of Airport Control Processes}",
	volume        = 4561,
	year          = 2007,
}