{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,24]],"date-time":"2025-12-24T12:17:47Z","timestamp":1766578667318,"version":"3.37.3"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2020,11,16]],"date-time":"2020-11-16T00:00:00Z","timestamp":1605484800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,11,16]],"date-time":"2020-11-16T00:00:00Z","timestamp":1605484800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61903368"],"award-info":[{"award-number":["61903368"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2021,6]]},"DOI":"10.1007\/s10270-020-00830-5","type":"journal-article","created":{"date-parts":[[2020,11,16]],"date-time":"2020-11-16T05:05:24Z","timestamp":1605503124000},"page":"821-835","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Graphical composite modeling and simulation for multi-aircraft collision avoidance"],"prefix":"10.1007","volume":"20","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0263-6806","authenticated-orcid":false,"given":"Feng","family":"Zhu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Tang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,11,16]]},"reference":[{"issue":"4","key":"830_CR1","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1109\/6979.898217","volume":"1","author":"JK Kuchar","year":"2000","unstructured":"Kuchar, J.K., Yang, L.C.: A review of conflict detection and resolution modeling methods. IEEE Trans. Intell. Transp. Syst. 1(4), 179\u2013189 (2000)","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"issue":"4","key":"830_CR2","doi-asserted-by":"publisher","first-page":"231","DOI":"10.2514\/atcq.6.4.231","volume":"6","author":"WD Love","year":"2016","unstructured":"Love, W.D.: Preview of TCAS II Version 7. Air Traffic Control Q. Int. J. Eng. Oper. 6(4), 231\u2013247 (2016)","journal-title":"Air Traffic Control Q. Int. J. Eng. Oper."},{"key":"830_CR3","unstructured":"Billingsley, T. B., Espindle, I. P., Griffith, J. D.: TCAS multiple threat encounter analysis[R]. MIT Lincoln Laboratory, Project Report ATC-359, 2009"},{"key":"830_CR4","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1016\/j.trc.2016.03.001","volume":"67","author":"J Tang","year":"2016","unstructured":"Tang, J., Piera, M.A., Guasch, T.: Colored Petri net-based traffic collision avoidance system encounter model for the analysis of potential induced collisions. Transp. Res. Part C 67, 357\u2013377 (2016)","journal-title":"Transp. Res. Part C"},{"key":"830_CR5","first-page":"1","volume":"4","author":"M Haeusler","year":"2019","unstructured":"Haeusler, M., Trojer, T., Kessler, J., et al.: ChronoSphere: a graph-based EMF model repository for IT landscape models. Softw. Syst. Model. 4, 1\u201340 (2019)","journal-title":"Softw. Syst. Model."},{"key":"830_CR6","first-page":"33","volume":"3","author":"W Mirko","year":"2016","unstructured":"Mirko, W., Simon, O., Manfred, K., Nikolaus, V., Asfour, T.: The ArmarX statechart concept: graphical programing of robot behavior. Front. Robot. AI 3, 33 (2016)","journal-title":"Front. Robot. AI"},{"issue":"4","key":"830_CR7","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1109\/MAES.2018.170044","volume":"33","author":"J Tang","year":"2018","unstructured":"Tang, J., Zhu, F., Fan, L.: Simulation modelling of traffic collision avoidance system with wind disturbance. IEEE A&E Syst. Mag. 33(4), 36\u201345 (2018)","journal-title":"IEEE A&E Syst. Mag."},{"issue":"7","key":"830_CR8","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1109\/MAES.2012.6328836","volume":"27","author":"TB Billingsley","year":"2012","unstructured":"Billingsley, T.B., Kochenderfer, M.J., Chryssanthacopoulos, J.P.: Collision avoidance for general aviation. IEEE Aerosp. Electron. Syst. Mag. 27(7), 4\u201312 (2012)","journal-title":"IEEE Aerosp. Electron. Syst. Mag."},{"issue":"1","key":"830_CR9","first-page":"17","volume":"19","author":"MJ Kochenderfer","year":"2012","unstructured":"Kochenderfer, M.J., Holland, J.E., Chryssanthacopoulos, J.P.: Next-generation airborne collision avoidance system. Linc. Lab. J. 19(1), 17\u201333 (2012)","journal-title":"Linc. Lab. J."},{"issue":"1","key":"830_CR10","doi-asserted-by":"publisher","first-page":"27","DOI":"10.2514\/atcq.20.1.27","volume":"20","author":"MJ Kochenderfer","year":"2012","unstructured":"Kochenderfer, M.J., Chryssanthacopoulos, J.P., Weibel, R.E.: A new approach for designing safer collision avoidance systems. Air Traffic Control Q. 20(1), 27\u201345 (2012)","journal-title":"Air Traffic Control Q."},{"issue":"3","key":"830_CR11","doi-asserted-by":"publisher","first-page":"275","DOI":"10.2514\/atcq.21.3.275","volume":"21","author":"JE Holland","year":"2013","unstructured":"Holland, J.E., Kochenderfer, M.J., Olson, W.A.: Optimizing the next generation collision avoidance system for safe, suitable, and acceptable operational performance. Air Traffic Control Q. 21(3), 275\u2013297 (2013)","journal-title":"Air Traffic Control Q."},{"key":"830_CR12","doi-asserted-by":"crossref","unstructured":"Yang, L., Yang, J. H., Kuchar, J., et al.: A real-time Monte Carlo implementation for computing probability of conflict. In: AIAA Guidance, Navigation and Control Conference. August 2004","DOI":"10.2514\/6.2004-4876"},{"key":"830_CR13","doi-asserted-by":"crossref","unstructured":"Kochenderfer, M. J., Kuchar, J., Griffith, J., Espindle, L.: A Bayesian approach to aircraft encounter modeling. In: AIAA Guidance, Navigation and Control Conference. August 2008","DOI":"10.2514\/6.2008-6629"},{"key":"830_CR14","unstructured":"Griffith, J. D., Edwards, M. W., Miraflor, R. M., Weinert. A. J.: \u201cDue regard encounter model version 1.0,\u201d Massachusetts Institute of Technology, Lincoln Laboratory, Lexington, MA, Project Report ATC-397, August 2013"},{"issue":"2","key":"830_CR15","doi-asserted-by":"publisher","first-page":"487","DOI":"10.2514\/1.44867","volume":"33","author":"MJ Kochenderfer","year":"2010","unstructured":"Kochenderfer, M.J., Edwards, M.W., Espindle, L.P., et al.: Airspace encounter models for estimating collision risk. J. Guid. Control Dyn. 33(2), 487\u2013499 (2010)","journal-title":"J. Guid. Control Dyn."},{"issue":"6","key":"830_CR16","doi-asserted-by":"publisher","first-page":"1797","DOI":"10.2514\/1.58938","volume":"36","author":"DM Asmar","year":"2013","unstructured":"Asmar, D.M., Kochenderfer, M.J., Chryssanthacopoulos, J.P.: Vertical state estimation for aircraft collision avoidance with quantized measurements. J. Guid. Control Dyn. 36(6), 1797\u20131802 (2013)","journal-title":"J. Guid. Control Dyn."},{"issue":"1","key":"830_CR17","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/s10479-013-1347-y","volume":"222","author":"A Alonso-Ayuso","year":"2014","unstructured":"Alonso-Ayuso, A., Escudero, L.F., Mart\u00edn-Campo, F.J.: On modeling the air traffic control coordination in the collision avoidance problem by mixed integer linear optimization. Ann. Oper. Res. 222(1), 89\u2013105 (2014)","journal-title":"Ann. Oper. Res."},{"key":"830_CR18","unstructured":"Underhill, N., Harkleroad, E., Guendel, R., Maki, D., Edwards, M.: Correlated encounter model for cooperative aircraft in the national airspace system; Version 2.0,\u201d Massachusetts Institute Technology Lincoln Laboratory Lexington United States, May 2018"},{"issue":"10","key":"830_CR19","first-page":"1","volume":"12","author":"KA Smith","year":"2015","unstructured":"Smith, K.A., Vela, A.E., Kochenderfer, M.J., et al.: Optimizing a collision-avoidance system for closely spaced parallel operations. J. Aerosp. Inf. Syst. 12(10), 1\u201316 (2015)","journal-title":"J. Aerosp. Inf. Syst."},{"key":"830_CR20","doi-asserted-by":"crossref","unstructured":"Murata T.: Petri nets: properties, analysis and applications. In: Proceedings of the IEEE, pp. 541\u2013580 (1989)","DOI":"10.1109\/5.24143"},{"key":"830_CR21","doi-asserted-by":"crossref","unstructured":"Sarkar, S., Dutta, A.: Petri net based modelling of railway intersection collision avoidance system. In: IEEE international conference on intelligent rail transportation, pp. 356\u2013361 (2016)","DOI":"10.1109\/ICIRT.2016.7588754"},{"key":"830_CR22","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/j.trc.2018.10.006","volume":"96","author":"J Tang","year":"2018","unstructured":"Tang, J., Zhu, F., Piera, M.A.: A causal encounter model of traffic collision avoidance system operations for safety assessment and advisory optimization in high-density airspace. Transp. Res. Part C 96, 347\u2013365 (2018)","journal-title":"Transp. Res. Part C"},{"key":"830_CR23","doi-asserted-by":"publisher","DOI":"10.1007\/b95112","volume-title":"Coloured petri nets\u2014modelling and validation of concurrent systems[M]","author":"L Jensen","year":"2009","unstructured":"Jensen, L., Kristensen, L.M.: Coloured petri nets\u2014modelling and validation of concurrent systems[M]. Springer, Berlin (2009)"},{"key":"830_CR24","doi-asserted-by":"crossref","unstructured":"Kummer, O., Wienberg, F., Duvigneau, M., et al.: An extensible editor and simulation engine for petri nets: renew. In: International conference on applications and theory of petri nets and other models of concurrency (ICATPN 2004), vol. 3099, pp. 484\u2013493 (2004)","DOI":"10.1007\/978-3-540-27793-4_29"},{"key":"830_CR25","doi-asserted-by":"crossref","unstructured":"Aalst, W. M., Stahl, C., Westergaard, M.: Strategies for modeling complex processes using colored petri nets. Transactions on Petri Nets and Other Models of Concurrency VII, pp. 6\u201355 (2013)","DOI":"10.1007\/978-3-642-38143-0_2"},{"issue":"11","key":"830_CR26","doi-asserted-by":"publisher","first-page":"957","DOI":"10.1145\/182.358460","volume":"26","author":"L Schruben","year":"1983","unstructured":"Schruben, L.: Simulation modeling with event graphs. Commun. ACM 26(11), 957\u2013963 (1983)","journal-title":"Commun. ACM"},{"key":"830_CR27","doi-asserted-by":"crossref","unstructured":"Buss, A., Blais, C.: Composability and component-based discrete event simulation. In: Proceedings of the 2007 Winter Simulation Conference, pp. 694\u2013702 (2007)","DOI":"10.1109\/WSC.2007.4419663"},{"key":"830_CR28","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/j.entcs.2004.08.052","volume":"127","author":"JD Lara","year":"2005","unstructured":"Lara, J.D.: Distributed event graphs formalizing component-based modeling and simulation. Electron. Notes Theor. Comput. Sci. 127, 145\u2013162 (2005)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"2","key":"830_CR29","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1080\/13873954.2014.911750","volume":"21","author":"B Wang","year":"2014","unstructured":"Wang, B., Deng, B., Xing, F., Wang, D., Yao, Y.: Partitioned event graph: formalizing LP-based modelling of parallel discrete-event simulation. Math. Comput. Modell. Dyn. Syst. 21(2), 153\u2013179 (2014)","journal-title":"Math. Comput. Modell. Dyn. Syst."},{"issue":"3","key":"830_CR30","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel, D.: Statecharts: a visual formalism for computer system. Sci. Comput. Program. 8(3), 231\u2013274 (1987)","journal-title":"Sci. Comput. Program."},{"issue":"2","key":"830_CR31","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1016\/j.simpat.2010.10.010","volume":"19","author":"F Cicirelli","year":"2011","unstructured":"Cicirelli, F., Furfaro, A., Nigro, L.: Modelling and simulation of complex manufacturing systems using statechart-based actors. Simul. Model. Pract. Theory 19(2), 685\u2013703 (2011)","journal-title":"Simul. Model. Pract. Theory"},{"key":"830_CR32","volume-title":"Theory of modeling and simulation: integrating discrete event and continuous complex dynamic systems","author":"BP Zeigler","year":"2000","unstructured":"Zeigler, B.P., Praehofer, H., Kim, T.G.: Theory of modeling and simulation: integrating discrete event and continuous complex dynamic systems. Academic Press, Hoboken (2000)"},{"key":"830_CR33","doi-asserted-by":"crossref","unstructured":"Palaniappan, S., Sarjoughian, H. S.: Application of the DEVS framework in construction simulation. In: Proceedings of the 2006 winter simulation conference, pp. 2077\u20132086 (2006)","DOI":"10.1109\/WSC.2006.322996"},{"key":"830_CR34","unstructured":"Wainer, G. A.: Modeling and simulation of complex systems with CELL-DEVS. In: Proceedings of the 2004 Winter Simulation Conference, pp. 49\u201360 (2004)"},{"issue":"2","key":"830_CR35","doi-asserted-by":"publisher","first-page":"147","DOI":"10.2507\/IJSIMM13(2)2.257","volume":"13","author":"B Cobanoglu","year":"2014","unstructured":"Cobanoglu, B., Zengin, A., Ekiz, H., et al.: Implementation of DEVS based distributed network simulator for large-scale networks. Int. J. Simul. Modell. 13(2), 147\u2013158 (2014)","journal-title":"Int. J. Simul. Modell."},{"key":"830_CR36","first-page":"1","volume":"99","author":"J Tang","year":"2018","unstructured":"Tang, J., Zhu, F.: Graphical modelling and analysis software for state space-based optimization of discrete event systems. IEEE Access. 99, 1\u201315 (2018)","journal-title":"IEEE Access."},{"issue":"3","key":"830_CR37","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/s10586-012-0201-3","volume":"16","author":"W Tang","year":"2013","unstructured":"Tang, W., Yao, Y., Zhu, F.: A hierarchical parallel discrete event simulation kernel for multicore platform. Cluster Comput. 16(3), 379\u2013387 (2013)","journal-title":"Cluster Comput."},{"key":"830_CR38","unstructured":"FAA. Introduction to TCAS II version 7.1. Federal Aviation Administration, 2011"}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-020-00830-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-020-00830-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-020-00830-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,16]],"date-time":"2021-06-16T08:04:20Z","timestamp":1623830660000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-020-00830-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,16]]},"references-count":38,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,6]]}},"alternative-id":["830"],"URL":"https:\/\/doi.org\/10.1007\/s10270-020-00830-5","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2020,11,16]]},"assertion":[{"value":"4 June 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 September 2020","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 September 2020","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 November 2020","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}