{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T13:10:08Z","timestamp":1746364208393,"version":"3.40.4"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319105055"},{"type":"electronic","value":"9783319105062"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10506-2_16","type":"book-chapter","created":{"date-parts":[[2014,9,3]],"date-time":"2014-09-03T02:41:50Z","timestamp":1409712110000},"page":"230-245","source":"Crossref","is-referenced-by-count":7,"title":["A Petri Net Pattern-Oriented Approach for the Design of Physical Protection Systems"],"prefix":"10.1007","author":[{"given":"Francesco","family":"Flammini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ugo","family":"Gentile","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Marrone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Nardone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valeria","family":"Vittorini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"A risk assessment methodology for physical security. white paper. Technical report, SANDIA National Laboratories (2008)","key":"16_CR1"},{"unstructured":"Global terrorism database [199503200014]. Technical report, National Consortium for the Study of Terrorism and Responses to Terrorism, START (2012)","key":"16_CR2"},{"unstructured":"Information technology security techniques information security management systems overview and vocabulary. Technical report, ISO\/IEC (2014)","key":"16_CR3"},{"unstructured":"Bernardi, S., Donatelli, S., Horvath, A.: Compositionality in the GreatSPN tool and its application to the modelling of industrial applications. In: DAIMI PB: Workshop Proceedings Practical Use of High-level Petri Nets, University of Aarhus, Department of Computer Science, pp. 127\u2013146 (2000)","key":"16_CR4"},{"key":"16_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-642-24270-0_2","volume-title":"Computer Safety, Reliability, and Security","author":"S. Bernardi","year":"2011","unstructured":"Bernardi, S., Flammini, F., Marrone, S., Merseguer, J., Papa, C., Vittorini, V.: Model-driven availability evaluation of railway control systems. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol.\u00a06894, pp. 15\u201328. Springer, Heidelberg (2011)"},{"issue":"5","key":"16_CR6","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/s10009-010-0156-8","volume":"12","author":"G. Bucci","year":"2010","unstructured":"Bucci, G., Carnevali, L., Ridi, L., Vicario, E.: Oris: a tool for modeling, verification and evaluation of real-time systems. International Journal on Software Tools for Technology Transfer\u00a012(5), 391\u2013403 (2010)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"issue":"1-2","key":"16_CR7","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/S0304-3975(01)00127-X","volume":"275","author":"N. Busi","year":"2002","unstructured":"Busi, N.: Analysis issues in petri nets with inhibitor arcs. Theor. Comput. Sci.\u00a0275(1-2), 127\u2013177 (2002)","journal-title":"Theor. Comput. Sci."},{"unstructured":"Carney, J.: Why integrate physical and logical security? Technical report, Cisco (2011)","key":"16_CR8"},{"issue":"2","key":"16_CR9","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1109\/32.214828","volume":"19","author":"G. Chiola","year":"1993","unstructured":"Chiola, G., Ajmone-Marsan, M., Balbo, G., Conte, G.: Generalized stochastic petri nets. a definition at the net level and its implications. IEEE Transactions on Software Engineering\u00a019(2), 89\u2013107 (1993)","journal-title":"IEEE Transactions on Software Engineering"},{"doi-asserted-by":"crossref","unstructured":"Cox Jr, L.A.: Some limitations of risk = threat \u00d7 vulnerability \u00d7 consequence for risk analysis of terrorist attacks. Risk Analysis\u00a028(6) (2008)","key":"16_CR10","DOI":"10.1111\/j.1539-6924.2008.01142.x"},{"key":"16_CR11","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1504\/IJRAM.2011.042117","volume":"15","author":"F. Flammini","year":"2011","unstructured":"Flammini, F., Gaglione, A., Mazzocca, N., Pragliola, C.: Optimisation of security system design by quantitative risk assessment and genetic algorithms. Int. J. of Risk Assessment and Management\u00a015, 205\u2013221 (2011)","journal-title":"Int. J. of Risk Assessment and Management"},{"key":"16_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1007\/978-3-642-40588-4_31","volume-title":"Security Engineering and Intelligence Informatics","author":"F. Flammini","year":"2013","unstructured":"Flammini, F., Marrone, S., Mazzocca, N., Pappalardo, A., Pragliola, C., Vittorini, V.: Trustworthiness evaluation of multi-sensor situation recognition in transit surveillance scenarios. In: Cuzzocrea, A., Kittl, C., Simos, D.E., Weippl, E., Xu, L. (eds.) CD-ARES Workshops 2013. LNCS, vol.\u00a08128, pp. 442\u2013456. Springer, Heidelberg (2013)"},{"key":"16_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-642-41476-3_11","volume-title":"Critical Information Infrastructure Security","author":"F. Flammini","year":"2013","unstructured":"Flammini, F., Marrone, S., Mazzocca, N., Vittorini, V.: Petri net modelling of physical vulnerability. In: Bologna, S., H\u00e4mmerli, B., Gritzalis, D., Wolthusen, S. (eds.) CRITIS 2011. LNCS, vol.\u00a06983, pp. 128\u2013139. Springer, Heidelberg (2013)"},{"unstructured":"Garcia, M.L.: Vulnerability Assessment of Physical Protection Systems. Butterworth-Heinemann (December 2005)","key":"16_CR14"},{"doi-asserted-by":"crossref","unstructured":"Garcia, M.L.: Design and Evaluation of Physical Protection Systems. Butterworth-Heinemann (October 2007)","key":"16_CR15","DOI":"10.1016\/B978-0-08-055428-0.50009-9"},{"unstructured":"The\u00a0Open Group. Risk taxonomy. Technical report, The Open Group (2009)","key":"16_CR16"},{"key":"16_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/978-3-642-24270-0_31","volume-title":"Computer Safety, Reliability, and Security","author":"M. G\u00fcdemann","year":"2011","unstructured":"G\u00fcdemann, M., Ortmeier, F.: Model-based multi-objective safety optimization. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol.\u00a06894, pp. 423\u2013436. Springer, Heidelberg (2011)"},{"unstructured":"Hunt, S.: Physical security information management (PSIM): The basics. Technical report, Cisco (2011)","key":"16_CR18"},{"doi-asserted-by":"crossref","unstructured":"Johnson, R.G.: Physical Security Assessment. Critical Infrastructure Security - WIT Press (2011)","key":"16_CR19","DOI":"10.2495\/978-1-84564-562-5\/02"},{"key":"16_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/978-3-642-19751-2_6","volume-title":"Formal Aspects of Security and Trust","author":"B. Kordy","year":"2011","unstructured":"Kordy, B., Mauw, S., Radomirovi\u0107, S., Schweitzer, P.: Foundations of attack\u2013defense trees. In: Degano, P., Etalle, S., Guttman, J. (eds.) FAST 2010. LNCS, vol.\u00a06561, pp. 80\u201395. Springer, Heidelberg (2011)"},{"doi-asserted-by":"crossref","unstructured":"Lewis, T.G., Darken, R.P., Mackin, T., Dudenhoeffer, D.: Model-Based Risk Analysis for Critical Infrastructures. Critical Infrastructure Security - WIT Press (2011)","key":"16_CR21","DOI":"10.2495\/978-1-84564-562-5\/01"},{"issue":"34","key":"16_CR22","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/j.ijcip.2013.10.001","volume":"6","author":"S. Marrone","year":"2013","unstructured":"Marrone, S., Nardone, R., Tedesco, A., D\u2019Amore, P., Vittorini, V., Setola, R., Cillis, F.D., Mazzocca, N.: Vulnerability modeling and analysis for critical infrastructure protection applications. International Journal of Critical Infrastructure Protection\u00a06(34), 217\u2013227 (2013)","journal-title":"International Journal of Critical Infrastructure Protection"},{"doi-asserted-by":"crossref","unstructured":"Naedele, M., Janneck, J.W.: Design patterns in petri net system modeling. In: Proceedings of the Fourth IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 1998, pp. 47\u201354 (1998)","key":"16_CR23","DOI":"10.1109\/ICECCS.1998.706655"},{"issue":"1","key":"16_CR24","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/TDSC.2004.11","volume":"1","author":"D.M. Nicol","year":"2004","unstructured":"Nicol, D.M., Sanders, W.H., Trivedi, K.S.: Model-based evaluation: from dependability to security. IEEE Transactions on Dependable and Secure Computing\u00a01(1), 48\u201365 (2004)","journal-title":"IEEE Transactions on Dependable and Secure Computing"},{"unstructured":"Pederson, P., Dudenhoeffer, D., Hartley, S., Permann, M.: Critical infrastructure and interdependency modeling: A survey of US and international research. Technical report, Idaho National Laboratory (2006)","key":"16_CR25"},{"issue":"5","key":"16_CR26","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/MS.2003.1231150","volume":"20","author":"S. Sendall","year":"2003","unstructured":"Sendall, S., Kozaczynski, W.: Model transformation: the heart and soul of model-driven software development. IEEE Software\u00a020(5), 42\u201345 (2003)","journal-title":"IEEE Software"},{"key":"16_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1007\/3-540-58152-9_26","volume-title":"Application and Theory of Petri Nets 1994","author":"C. Sibertin-Blanc","year":"1994","unstructured":"Sibertin-Blanc, C.: Cooperative nets. In: Valette, R. (ed.) ICATPN 1994. LNCS, vol.\u00a0815, pp. 471\u2013490. Springer, Heidelberg (1994)"},{"doi-asserted-by":"crossref","unstructured":"Stoneburner, G., Goguen, A.Y., Feringa, A.: Sp 800-30. risk management guide for information technology systems. Technical report, Gaithersburg, MD, United States (2002)","key":"16_CR28","DOI":"10.6028\/NIST.SP.800-30"},{"issue":"1","key":"16_CR29","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"W.M.P. Aalst Van der","year":"2003","unstructured":"Van der Aalst, W.M.P., Ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distributed and Parallel Databases\u00a014(1), 5\u201351 (2003)","journal-title":"Distributed and Parallel Databases"},{"issue":"1","key":"16_CR30","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1016\/j.swevo.2011.03.001","volume":"1","author":"A. Zhou","year":"2011","unstructured":"Zhou, A., Qu, B.-Y., Li, H., Zhao, S.-Z., Suganthan, P.N., Zhangd, Q.: Multiobjective evolutionary algorithms: A survey of the state of the art. Swarm and Evolutionary Computation\u00a01(1), 32\u201349 (2011)","journal-title":"Swarm and Evolutionary Computation"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10506-2_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T12:51:42Z","timestamp":1746363102000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10506-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319105055","9783319105062"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10506-2_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}