{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:58:15Z","timestamp":1725515895847},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540687450"},{"type":"electronic","value":"9783540687467"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-68746-7_23","type":"book-chapter","created":{"date-parts":[[2008,7,31]],"date-time":"2008-07-31T02:37:54Z","timestamp":1217471874000},"page":"348-367","source":"Crossref","is-referenced-by-count":9,"title":["Cooperative Arrival Management in Air Traffic Control - A Coloured Petri Net Model of Sequence Planning"],"prefix":"10.1007","author":[{"given":"Hendrik","family":"Oberheid","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dirk","family":"S\u00f6ffker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","unstructured":"Fairclough, I.: Phare Advanced Tools Arrival Manager Final Report. Technical report, Eurocontrol, European Organisation for Safety of Air Navigation (1999)"},{"key":"23_CR2","unstructured":"Zielinsky, T.: Erkennung und L\u00f6sung von Konflikten bei Anflug-Trajektorien. Technical report, German Aerospace Center (DLR) (2003)"},{"key":"23_CR3","unstructured":"B\u00fcchner, U., Czerlitzki, B., Hansen, H., Helmke, H., Pahner, S., Pfeil, A., Schnell, M., Schnieder, H., Theis, P., Uebbing-Rumke, M.: KOPIM-AIRCRAFT - Entwicklungsstatus von boden- und bordseitigen Systemen und von operationellen ATM-Verfahren und Konzepten f\u00fcr ein kooperatives ATM. Technical report, German Aerospace Center (DLR), Airbus Deutschland GmbH, TU Darmstadt (2005)"},{"key":"23_CR4","unstructured":"Korn, B., Helmke, H., Kuenz, A.: 4D Trajectory Managment in the Extended TMA: Coupling AMAN and 4D FMS for Optimized Approach Trajectories. In: ICAS 2006 - 25th International Congress of the Aeronautical Sciences, Hamburg, Germany (2006)"},{"key":"23_CR5","unstructured":"Butler, R., Carreno, V., Di Vito, B., Hayhurst, K., Holloway, C., Miner, P., Munoz, C., Geser, A., Gottliebsen, H.: NASA Langley\u2019s Research and Technology-Transfer Program in Formal Methods. Technical report, NASA Langley (2002)"},{"key":"23_CR6","unstructured":"Butler, R., Geser, A., Maddalon, J., Munoz, C.: Formal Analysis of Air Traffic Management Systems: The Case of Conflict Resolution and Recovery. In: Winter Simulation Conference (WSC 2003), New Orleans (2003)"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"Munoz, C., Dowek, G., Carreno, V.: Modelling and Verification of an Air Traffic Concept of Operations. In: International Symposium on Software Testing and Analysis, Boston, Massachusetts, pp. 175\u2013182 (2004)","DOI":"10.1145\/1007512.1007536"},{"issue":"1","key":"23_CR8","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(1), 28\u201343 (2002)","journal-title":"Human Factors"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Carreno, V., Munoz, C.: Formal Analysis of Parallel Landing Scenarios. In: Digital Avionics System Conferences, Philadelphia, USA, vol.\u00a01, pp. 175\u2013182 (2000)","DOI":"10.1109\/DASC.2000.886893"},{"key":"23_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73321-8_115","volume-title":"Digital Human Modeling","author":"B. Werther","year":"2007","unstructured":"Werther, B., Moehlenbrink, C., Rudolph, M.: Coloured Petri Net based Formal Airport Control Model for Simulation and Analysis of Airport Control Processes. In: Duffy, V.G. (ed.) HCII 2007 and DHM 2007. LNCS, vol.\u00a04561. Springer, Heidelberg (2007)"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"Kovacs, A., Nemeth, E., Hangos, K.: Modeling and Optimization of Runway Traffic Flow Using Coloured Petri Nets. In: International Conference on Control and Automation (ICCA), Budapest, Hungary, vol.\u00a02, pp. 881\u2013886 (2005)","DOI":"10.1109\/ICCA.2005.1528246"},{"issue":"3-4","key":"23_CR12","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","volume":"9","author":"K. Jensen","year":"2007","unstructured":"Jensen, K., Kristensen, L.M., Wells, L.: Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems. Software Tools for Technology Transfer (STTT)\u00a09(3-4), 213\u2013254 (2007)","journal-title":"Software Tools for Technology Transfer (STTT)"},{"key":"23_CR13","unstructured":"Oberheid, H., Gamrad, D., S\u00f6ffker, D.: Closed Loop State Space Analysis and Simulation for Cognitive Systems. In: 8th International Conference on Application of Concurrency to System Design (submitted, 2008)"},{"key":"23_CR14","unstructured":"G\u00fcnther, T., Fricke, H.: Potential of Speed Control on Flight Efficiency. In: ICRAT - Second International Conference on Research in Air Transportation, pp. 197\u2013201 (2006)"},{"key":"23_CR15","unstructured":"G\u00fcnther, T.: Validierung der Interdependenzen eines Systems zur Ankunftszeitoptimierung von Flugzeugen in Erg\u00e4nzung zu einem Arrival Management an einem Verkehrsflughafen. Diploma thesis, Technical University Dresden (2004)"},{"key":"23_CR16","unstructured":"AT&T-Research: GraphViz Manual (2006), http:\/\/www.graphviz.org\/Documentation.php"},{"key":"23_CR17","unstructured":"Schwarz, D.: Anflugsequenzplanung mit dem A* Algorithmus zur Beschleunigung der Sequenzsuche. Technical Report 112-2005\/02, German Aerospace Center (DLR) (2005)"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68746-7_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T21:55:44Z","timestamp":1557698144000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68746-7_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540687450","9783540687467"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68746-7_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}