{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T14:32:05Z","timestamp":1760711525897,"version":"3.40.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319227559"},{"type":"electronic","value":"9783319227566"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-22756-6_70","type":"book-chapter","created":{"date-parts":[[2015,8,17]],"date-time":"2015-08-17T13:21:11Z","timestamp":1439817671000},"page":"573-581","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Behaviour Model for Risk Assessment of Complex Systems Based on HAZOP and Coloured Petri Nets"],"prefix":"10.1007","author":[{"given":"Damiano Nunzio","family":"Arena","sequence":"first","affiliation":[]},{"given":"Dimitris","family":"Kiritsis","sequence":"additional","affiliation":[]},{"given":"Natalia","family":"Trapani","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,8,18]]},"reference":[{"issue":"B6","key":"70_CR1","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1205\/095758299530242","volume":"77","author":"SA McCoy","year":"1999","unstructured":"McCoy, S.A.: HAZID, a computer aid for hazard identification 1. Trans. IChemE Part B Process Saf. Environ. Prot. 77(B6), 317\u2013327 (1999)","journal-title":"Trans. IChemE Part B Process Saf. Environ. Prot."},{"issue":"2","key":"70_CR2","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0951-8320(96)00061-0","volume":"53","author":"R Vaidhyanathan","year":"1996","unstructured":"Vaidhyanathan, R., Venkatasubramanian, V.: HAZOPExpert: an expert system for automating HAZOP analysis. Reliab. Eng. Syst. Saf. 53(2), 185\u2013203 (1996)","journal-title":"Reliab. Eng. Syst. Saf."},{"issue":"9\u201310","key":"70_CR3","doi-asserted-by":"publisher","first-page":"2291","DOI":"10.1016\/S0098-1354(00)00573-1","volume":"24","author":"V Venkatasubramanian","year":"2000","unstructured":"Venkatasubramanian, V., Zhao, J., Viswanathan, S.: Intelligent systems for HAZOP analysis of complex process plants. Comput. Chem. Eng. 24(9\u201310), 2291\u20132302 (2000)","journal-title":"Comput. Chem. Eng."},{"issue":"6","key":"70_CR4","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1205\/psep.04056","volume":"83","author":"C Zhao","year":"2005","unstructured":"Zhao, C., Bhushan, M., Venkatasubramanian, V.: PHASUITE an automated HAZOP analysis tool for chemical processes, part I: knowledge engineering framework. Process Saf. Environ. Prot. 83(6), 533\u2013548 (2005)","journal-title":"Process Saf. Environ. Prot."},{"issue":"1\u20132","key":"70_CR5","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1016\/j.psep.2012.02.002","volume":"91","author":"J Wu","year":"2013","unstructured":"Wu, J., Zhang, L., Liang, W., Hu, J.: A novel failure model for gathering system based on multilevel flow modelling and HAZOP. Process Saf. Environ. Prot. 91(1\u20132), 54\u201360 (2013)","journal-title":"Process Saf. Environ. Prot."},{"key":"70_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"460","DOI":"10.1007\/978-3-642-38577-3_47","volume-title":"Recent Trends in Applied Artificial Intelligence","author":"K Isshiki","year":"2013","unstructured":"Isshiki, K., Munesawa, Y., Nakai, A., Suzuki, K.: HAZOP analysis system compliant with equipment models based on SDG. In: Ali, Moonis, Bosse, T., Hindriks, K.V., Hoogendoorn, M., Jonker, C.M., Treur, J. (eds.) IEA\/AIE 2013. LNCS, vol. 7906, pp. 460\u2013469. Springer, Heidelberg (2013)"},{"key":"70_CR7","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1016\/j.ress.2013.08.008","volume":"121","author":"N Boonthum","year":"2014","unstructured":"Boonthum, N., Mulalee, U., Srinophakun, T.: A systematic formulation for HAZOP analysis based on structural model. Reliab. Eng. Syst. Saf. 121, 152\u2013163 (2014)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"70_CR8","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1016\/j.compchemeng.2012.06.007","volume":"45","author":"M Rodriguez","year":"2012","unstructured":"Rodriguez, M., De la Mata, J.S.: Automating HAZOP studies using D-higraphs. Comput. Chem. Eng. 45, 102\u2013113 (2012)","journal-title":"Comput. Chem. Eng."},{"key":"70_CR9","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1016\/j.ress.2012.06.014","volume":"108","author":"L Cui","year":"2012","unstructured":"Cui, L., Shu, Y., Wang, Z., Zhao, J., Qiu, T., Sun, W., Wei, Z.: HASILT: an intelligent software platform for HAZOP, LOPA, SRS and SIL verification. Reliab. Eng. Syst. Saf. 108, 56\u201364 (2012)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"70_CR10","first-page":"193","volume":"31","author":"E Nemeth","year":"2013","unstructured":"Nemeth, E., Cameron, I.T.: Cause-implication diagrams for process systems. their generation, utility and importance. Chem. Eng. Trans. 31, 193\u2013198 (2013)","journal-title":"Chem. Eng. Trans."},{"key":"70_CR11","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/j.jlp.2014.07.005","volume":"31","author":"A Toth","year":"2014","unstructured":"Toth, A., Hangos, K.M., Werner-Stark, A.: A structural decomposition-based diagnosis method for dynamic process systems using HAZID information. J. Loss Prev. Process Ind. 31, 97\u2013104 (2014)","journal-title":"J. Loss Prev. Process Ind."},{"key":"70_CR12","doi-asserted-by":"publisher","first-page":"991","DOI":"10.1016\/B978-0-444-63234-0.50166-4","volume":"32","author":"I Lotero-Herranz","year":"2013","unstructured":"Lotero-Herranz, I., Gal\u00e0n, S.: Automated HAZOP using hybrid discrete\/continuous process models. Comput. Aided Chem. Eng. 32, 991\u2013996 (2013)","journal-title":"Comput. Aided Chem. Eng."},{"issue":"3\u20134","key":"70_CR13","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. Int. J. Softw. Tools Technol. Transf. 9(3\u20134), 213\u2013254 (2007)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"70_CR14","volume-title":"Risk Assessment: Theory, Methods, and Applications","author":"M Rausand","year":"2013","unstructured":"Rausand, M.: Risk Assessment: Theory, Methods, and Applications. Wiley, New York (2013)"},{"key":"70_CR15","unstructured":"Trapani, N., Macchi, M., Fumagalli, L.: Risk driven engineering of prognostics and health management systems in manufacturing. In: 15th IFAC, Ottawa, 11\u201313 May 2015"},{"key":"70_CR16","unstructured":"CPN Tools Homepage. \n                    http:\/\/cpntools.org"}],"container-title":["IFIP Advances in Information and Communication Technology","Advances in Production Management Systems: Innovative Production Management Towards Sustainable Growth"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-22756-6_70","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,16]],"date-time":"2019-08-16T20:12:30Z","timestamp":1565986350000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-22756-6_70"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319227559","9783319227566"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-22756-6_70","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"18 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}