{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T01:49:51Z","timestamp":1743126591282,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540733188"},{"type":"electronic","value":"9783540733218"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-73321-8_115","type":"book-chapter","created":{"date-parts":[[2007,8,24]],"date-time":"2007-08-24T01:39:51Z","timestamp":1187919591000},"page":"1027-1036","source":"Crossref","is-referenced-by-count":14,"title":["Colored Petri Net Based Formal Airport Control Model for Simulation and Analysis of Airport Control Processes"],"prefix":"10.1007","author":[{"given":"Bernd","family":"Werther","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Moehlenbrink","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Rudolph","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"115_CR1","unstructured":"Schmidt, M., Rudolph, M., Werther, B., F\u00fcrstenau, N.: Remote Airport Tower Operation with Augmented Vision Video Panorama HMI. In: Proc. 2nd Int. Conf. Research in Air Transportation ICRAT 2006, Belgrade, Serbia, June 24.28, 2006, pp. 221\u2013230 (2006)"},{"key":"115_CR2","unstructured":"Werther, B., Uhlmann, H.: Ansatz zur modellbasierten Entwicklung eines Lotsenarbeits-platzes. Zustandserkennung und Systemgestaltung, Fortschritt Berichte VDI, vol. 22, pp. 291\u2013294 (2005)"},{"key":"115_CR3","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1518\/0018720024494838","volume":"44","author":"A. Degani","year":"2002","unstructured":"Degani, A., Heymann, M.: Formal verification of human-automation interaction. Human Factors\u00a044, 28\u201343 (2002)","journal-title":"Human Factors"},{"key":"115_CR4","doi-asserted-by":"crossref","DOI":"10.1201\/b12457","volume-title":"Cognitive Work Analysis","author":"K.J. Vicente","year":"1999","unstructured":"Vicente, K.J.: Cognitive Work Analysis. Lawrence Erlbaum Associates, Mahwah\/NJ (1999)"},{"key":"115_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-60794-3","volume-title":"Coloured Petri Nets","author":"K. Jensen","year":"1997","unstructured":"Jensen, K.: Coloured Petri Nets. Springer, Berlin (1997)"},{"key":"115_CR6","unstructured":"CPN Tools: http:\/\/wiki.daimi.au.dk\/cpntools\/cpntools.wiki"},{"key":"115_CR7","doi-asserted-by":"crossref","unstructured":"Werther, B., Schnieder, E.: Formal Cognitive Resource Model: Modeling of human behavior in complex work environments. In: Proc. Int. Conf. Computational Intelligence for Modelling, Control & Automation, CIMCA 2005, Wien, pp. 606\u2013611 (2005)","DOI":"10.1109\/CIMCA.2005.1631535"},{"key":"115_CR8","unstructured":"Werther, B.: Kognitive Modellierung mit farbigen Petrinetzen zur Analyse menschlichen Verhaltens, PhD Dissertation, DLR-Inst. of Flight Guidance and Technische Universit\u00e4t Braunschweig (2006)"},{"issue":"3","key":"115_CR9","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1080\/00140137808931713","volume":"21","author":"J.C. Sperandio","year":"1978","unstructured":"Sperandio, J.C.: The regulation of working methods as a function of work-load among air traffic controllers. Ergonomics\u00a021(3), 195\u2013202 (1978)","journal-title":"Ergonomics"},{"key":"115_CR10","volume-title":"The Logic of Failure: Recognizing and avoiding error in complex situations","author":"D. D\u00f6rner","year":"1996","unstructured":"D\u00f6rner, D.: The Logic of Failure: Recognizing and avoiding error in complex situations. Metropolitan Books, New York (1996)"},{"key":"115_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-1567-0","volume-title":"Modelling and simulation of human behaviour in System control","author":"P.C. Cacciabue","year":"1998","unstructured":"Cacciabue, P.C.: Modelling and simulation of human behaviour in System control. Springer, London (1998)"},{"key":"115_CR12","doi-asserted-by":"crossref","unstructured":"Werther, B.: Colored Petri net based modeling of airport control processes. In: Proc. Int. Conf. Computational Intelligence for Modelling, Control & Automation, CIMCA, Sydney (2006)","DOI":"10.1109\/CIMCA.2006.70"},{"key":"115_CR13","unstructured":"Hagemann, T.: Belastung, Beanspruchung und Vigilanz in der Flugsicherung unter besonderer Ber\u00fccksichtigung der Towerlotsent\u00e4tigkeit. PhD Dissertation, Europ\u00e4ische Hochschulschriften, 2000, Reihe 6, Psychologie; Bd. 664 (2000)"}],"container-title":["Lecture Notes in Computer Science","Digital Human Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73321-8_115","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T16:40:45Z","timestamp":1737391245000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73321-8_115"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540733188","9783540733218"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73321-8_115","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}