{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T04:48:57Z","timestamp":1725857337405},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319394282"},{"type":"electronic","value":"9783319394299"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-39429-9_29","type":"book-chapter","created":{"date-parts":[[2016,6,6]],"date-time":"2016-06-06T10:42:13Z","timestamp":1465209733000},"page":"465-478","source":"Crossref","is-referenced-by-count":1,"title":["Modeling and Analysis of Vehicles Platoon Safety in a Dynamic Environment Based on GSPN"],"prefix":"10.1007","author":[{"given":"Mohamed","family":"Garoui","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,6,7]]},"reference":[{"issue":"5","key":"29_CR1","doi-asserted-by":"crossref","first-page":"1025","DOI":"10.1109\/TSMCA.2010.2046730","volume":"40","author":"GA Albuquerque de","year":"2010","unstructured":"de Albuquerque, G.A., Maciel, P.R.M., Lima, R.M.F., Zimmermann, A.: Automatic modeling for performance evaluation of inventory and outbound distribution. IEEE Trans. Syst. Man Cybern. Part A 40(5), 1025\u20131044 (2010)","journal-title":"IEEE Trans. Syst. Man Cybern. Part A"},{"key":"29_CR2","volume-title":"Modelling with Generalized Stochastic Petri Nets","author":"MA Marsan","year":"1994","unstructured":"Marsan, M.A., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets, 1st edn. John Wiley and Sons Inc., New York (1994)","edition":"1"},{"key":"29_CR3","doi-asserted-by":"crossref","unstructured":"Hamouda, O., Kaaniche, M., Kanoun, K.: Safety modeling and evaluation of automated highway systems. In: DSN, pp. 73\u201382. IEEE (2009)","DOI":"10.1109\/DSN.2009.5270352"},{"issue":"78","key":"29_CR4","doi-asserted-by":"crossref","first-page":"1436","DOI":"10.1016\/j.mcm.2008.11.006","volume":"49","author":"N Gharbi","year":"2009","unstructured":"Gharbi, N., Dutheillet, C., Ioualalen, M.: Colored stochastic petri nets for modelling and analysis of multiclass retrial systems. Math. Comput. Model. 49(78), 1436\u20131448 (2009)","journal-title":"Math. Comput. Model."},{"issue":"11","key":"29_CR5","doi-asserted-by":"crossref","first-page":"1343","DOI":"10.1109\/12.247838","volume":"42","author":"G Chiola","year":"1993","unstructured":"Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: Stochastic well-formed colored nets and symmetric modeling applications. IEEE Trans. Comput. 42(11), 1343\u20131360 (1993)","journal-title":"IEEE Trans. Comput."},{"key":"29_CR6","doi-asserted-by":"crossref","unstructured":"Yuanchun, Y., Haoxue, L., Yong, Z.: Evaluation emergency transport performances in response for hazardous materials road transportation accident based on spn: a case of jiangsu. In: 2010 International Conference on Optoelectronics and Image Processing (ICOIP), vol. 1, pp. 509\u2013513, November 2010","DOI":"10.1109\/ICOIP.2010.218"},{"key":"29_CR7","doi-asserted-by":"crossref","unstructured":"Chen, L., jun Jiang, C., Fang, Y., Liu, F.: Performance evaluation of ad hoc networks based on spn. In: Proceedings of the 2005 International Conference on Wireless Communications, Networking and Mobile Computing, vol. 2, pp. 816\u2013819, September 2005","DOI":"10.1109\/WCNM.2005.1544177"},{"issue":"5","key":"29_CR8","doi-asserted-by":"crossref","first-page":"754","DOI":"10.1093\/comjnl\/bxq024","volume":"54","author":"M Bozzano","year":"2011","unstructured":"Bozzano, M., Cimatti, A., Katoen, J.P., Nguyen, V.Y., Noll, T., Roveri, M.: Safety, dependability and performance analysis of extended aadl models. Comput. J. 54(5), 754\u2013775 (2011)","journal-title":"Comput. J."},{"key":"29_CR9","unstructured":"El Zaher, M.: Approche reactive pour la conduite en convoi des vehicules autonomes: Modelisation et verification. Ph.D. thesis, Universit\u00e9 de Technologie de Belfort-Montbeliard (2013)"},{"key":"29_CR10","unstructured":"Bensalem, S., Ganesh, V., Lakhnech, Y., Munoz, C., Owre, S., Rue, H., Rushby, J., Rusu, V., Saidi, H., Shankar, N., Singerman, E., Tiwari, A.: An overview of sal (2000)"},{"key":"29_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1007\/978-3-642-21834-7_16","volume-title":"Applications and Theory of Petri Nets","author":"S Haddad","year":"2011","unstructured":"Haddad, S., Mairesse, J., Nguyen, H.-T.: Synthesis and analysis of product-form petri nets. In: Kristensen, L.M., Petrucci, L. (eds.) PETRI NETS 2011. LNCS, vol. 6709, pp. 288\u2013307. Springer, Heidelberg (2011)"},{"volume-title":"Dependability: Basic Concepts and Terminology","year":"1992","key":"29_CR12","unstructured":"Laprie, J.C., Avizienis, A., Kopetz, H. (eds.): Dependability: Basic Concepts and Terminology. Springer-Verlag New York Inc., Secaucus (1992)"},{"key":"29_CR13","doi-asserted-by":"crossref","unstructured":"Contet, J., Derutin, J., Koukam, A., Gruer, P.: Projet anr- 10-vptt-011, safeplatoon, prsentation des scnarii, livrable d41. Technical report, Rapport de recherche, IRTES-SeT, UTBM (2012)","DOI":"10.1504\/IJISTA.2011.040348"}],"container-title":["Lecture Notes in Business Information Processing","Enterprise, Business-Process and Information Systems Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-39429-9_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,9]],"date-time":"2019-09-09T08:47:02Z","timestamp":1568018822000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-39429-9_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319394282","9783319394299"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-39429-9_29","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2016]]}}}