{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T17:22:06Z","timestamp":1725816126762},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319149769"},{"type":"electronic","value":"9783319149776"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-14977-6_51","type":"book-chapter","created":{"date-parts":[[2015,1,28]],"date-time":"2015-01-28T09:23:24Z","timestamp":1422437004000},"page":"456-459","source":"Crossref","is-referenced-by-count":1,"title":["Analysis of Emergency Evacuation of Building Using PEPA"],"prefix":"10.1007","author":[{"given":"Anil Kumar","family":"Singh","sequence":"first","affiliation":[]},{"given":"Surinder","family":"Kaur","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"51_CR1","unstructured":"Fruin, J.J.: The causes and prevention of crowd disasters. Engineering for Crowd Safety, 99\u2013108 (1993)"},{"key":"51_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.firesaf.2009.08.005","volume":"45","author":"M. Kobes","year":"2010","unstructured":"Kobes, M., Helsloot, I., de Vries, B., Post, J.G.: Building safety and human behaviour in fire: A literature review. Fire Safety Journal\u00a045, 1\u201311 (2010)","journal-title":"Fire Safety Journal"},{"key":"51_CR3","doi-asserted-by":"publisher","first-page":"741","DOI":"10.1016\/S0360-1323(98)00057-2","volume":"34","author":"S. Gwynne","year":"1999","unstructured":"Gwynne, S., Galea, E.R., Owen, M., Lawrence, P.J., Filippidis, L.: A review of the methodologies used in the computer simulation of evacuation from the built environment. Building and Environment\u00a034, 741\u2013749 (1999)","journal-title":"Building and Environment"},{"key":"51_CR4","unstructured":"Still, G.K.: Crowd dynamics. University of Warwick (2000)"},{"key":"51_CR5","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/s00165-011-0188-1","volume":"24","author":"M. Massink","year":"2012","unstructured":"Massink, M., Latella, D., Bracciali, A., Harrison, M.D., Hillston, J.: Scalable context-dependent analysis of emergency egress models. Formal Aspects of Computing\u00a024, 267\u2013302 (2012)","journal-title":"Formal Aspects of Computing"},{"key":"51_CR6","unstructured":"Hillston, J.: A compositional approach to performance modelling. Cambridge University Press (2005)"},{"key":"51_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/3-540-58021-2_20","volume-title":"Computer Performance Evaluation","author":"S. Gilmore","year":"1994","unstructured":"Gilmore, S., Hillston, J.: The PEPA workbench: a tool to support a process algebra-based approach to performance modelling. In: Haring, G., Kotsis, G. (eds.) TOOLS 1994. LNCS, vol.\u00a0794, pp. 353\u2013368. Springer, Heidelberg (1994)"},{"key":"51_CR8","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1145\/1530873.1530880","volume":"36","author":"M. Tribastone","year":"2009","unstructured":"Tribastone, M., Duguid, A., Gilmore, S.: The PEPA eclipse plugin. ACM SIGMETRICS Performance Evaluation Review\u00a036, 28\u201333 (2009)","journal-title":"ACM SIGMETRICS Performance Evaluation Review"},{"key":"51_CR9","doi-asserted-by":"crossref","unstructured":"Tribastone, M.: The PEPA plug-in project (QEST), vol.\u00a07(2007)","DOI":"10.1109\/QEST.2007.34"},{"key":"51_CR10","doi-asserted-by":"crossref","unstructured":"Smith, M.J.: Abstraction and model checking in the pepa plug-in for eclipse. In: 2010 Seventh International Conference on the Quantitative Evaluation of Systems (QEST), pp. 155\u2013156. IEEE (2010)","DOI":"10.1109\/QEST.2010.27"},{"key":"51_CR11","doi-asserted-by":"crossref","unstructured":"Hillston, J.: Fluid flow approximation of pepa models. In: Second International Conference on the Quantitative Evaluation of Systems (QEST), pp. 33\u201342. IEEE (2005)","DOI":"10.1109\/QEST.2005.12"}],"container-title":["Lecture Notes in Computer Science","Distributed Computing and Internet Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-14977-6_51","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T05:23:56Z","timestamp":1559107436000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-14977-6_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319149769","9783319149776"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-14977-6_51","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}