{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:18:10Z","timestamp":1761488290896,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642032394"},{"type":"electronic","value":"9783642032400"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-03240-0_17","type":"book-chapter","created":{"date-parts":[[2009,7,27]],"date-time":"2009-07-27T14:27:38Z","timestamp":1248704858000},"page":"199-214","source":"Crossref","is-referenced-by-count":12,"title":["Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications"],"prefix":"10.1007","author":[{"given":"Erzs\u00e9bet","family":"N\u00e9meth","sequence":"first","affiliation":[]},{"given":"Tam\u00e1s","family":"Bartha","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"17_CR1","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri Nets: Properties, Analysis and Application. Proceedings of the IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"17_CR2","unstructured":"Design\/CPN \u2013 Computer Tool for Coloured Petri Nets, CPN group at the University of Aarhus, Denmark (2002), http:\/\/www.daimi.au.dk\/designCPN\/"},{"key":"17_CR3","series-title":"Monographs in Theoretical Computer Science","volume-title":"Basic Concepts","author":"K. Jensen","year":"1992","unstructured":"Jensen, K.: Coloured Petri Nets \u2013 Basic Concepts, Analysis Methods and Practical Use. In: Basic Concepts. Monographs in Theoretical Computer Science, vol.\u00a01. Springer, Heidelberg (1992)"},{"key":"17_CR4","series-title":"Monographs in Theoretical Computer Science","volume-title":"Analysis Methods","author":"K. Jensen","year":"1997","unstructured":"Jensen, K.: Coloured Petri Nets \u2013 Basic Concepts, Analysis Methods and Practical Use. In: Analysis Methods. Monographs in Theoretical Computer Science, vol.\u00a02. Springer, Heidelberg (1997)"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Mertke, T., Menzel, T.: Methods and tools to the verification of safety-related control software. In: Proc. of the IEEE Int. Conf. on Sys., Man and Cybernetics (SMC 2000), Nashville, USA, pp. 2455\u20132457 (2000)","DOI":"10.1109\/ICSMC.2000.884360"},{"key":"17_CR6","unstructured":"Younis, M.B., Frey, G.: Formalization of existing PLC programs: A survey. In: Proc. of the IEEE\/IMACS Multiconf. on Comp. Eng. in Sys. App. (CESA 2003), Lille, France, Paper No. S2\u2013R\u201300\u20130239 (2003)"},{"key":"17_CR7","series-title":"Lecture Notes in Computer Science","first-page":"69","volume-title":"Application and Theory of Petri Nets 1997","author":"M. Heiner","year":"1997","unstructured":"Heiner, M.: Verification and optimization of control programs by Petri nets without state explosion. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 69\u201384. Springer, Heidelberg (1997)"},{"key":"17_CR8","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/S0306-4549(01)00054-8","volume":"29","author":"J.H. Park","year":"2002","unstructured":"Park, J.H., Seong, P.H.: An integrated knowledge base development tool for knowledge acquisition and verification for NPP dynamic alarm processing systems. Annals of Nuclear Energy\u00a029, 447\u2013463 (2002)","journal-title":"Annals of Nuclear Energy"},{"key":"17_CR9","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/S0951-8320(02)00159-X","volume":"80","author":"H.S. Son","year":"2003","unstructured":"Son, H.S., Seong, P.H.: Development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application. Reliability Engineering and System Safety\u00a080, 19\u201332 (2003)","journal-title":"Reliability Engineering and System Safety"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Baresi, L., Mauri, M., et al.: PLCTools: Design, Formal Validation, and Code Generation for Programmable Controllers. In: Proc. of the IEEE Conf. on Sys., Man, and Cybernetics (SMC 2000), Nashville, USA, pp. 2437\u20132442 (2000)","DOI":"10.1109\/ICSMC.2000.884357"},{"issue":"1","key":"17_CR11","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1504\/IJMTM.2006.008802","volume":"8","author":"H.M. Hanisch","year":"2006","unstructured":"Hanisch, H.M., Lobov, A., et al.: Formal Validation of Intelligent Automated Production Systems towards Industrial Applications. Int. J. of Manufacturing Tech. and Management\u00a08(1), 75\u2013106 (2006)","journal-title":"Int. J. of Manufacturing Tech. and Management"},{"key":"17_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-540-45236-2_9","volume-title":"FME 2003: Formal Methods","author":"A. Wassyng","year":"2003","unstructured":"Wassyng, A., Lawford, M.: Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, pp. 133\u2013153. Springer, Heidelberg (2003)"},{"issue":"1\u20132","key":"17_CR13","first-page":"155","volume":"70","author":"M. Lawford","year":"2006","unstructured":"Lawford, M., Pantelic, V., Zhang, H.: Towards Integrated Verification of Timed Transition Models. Fundamenta Informaticae\u00a070(1\u20132), 155\u2013164 (2006)","journal-title":"Fundamenta Informaticae"},{"key":"17_CR14","unstructured":"International Standard IEC 61131-3: Programmable Controllers - Part 3: Programming Languages. International Electrotechnical Commission, Geneva, Switzerland (1993)"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Minas, M., Frey, G.: Visual PLC-Programming using Signal Interpreted Petri Nets. In: Proc. of the American Control Conference 2002 (ACC 2002), Anchorage, Alaska, pp. 5019\u20135024 (2002)","DOI":"10.1109\/ACC.2002.1025461"},{"key":"17_CR16","first-page":"177","volume-title":"Proc. 4th Int. Conf. Automation of Mixed Processes: Hybrid Dynamic Systems (ADPM)","author":"O. Rossi","year":"2000","unstructured":"Rossi, O., Schnoebelen, P.: Formal Modelling of Timed Function Blocks for the Automatic Verification of Ladder Diagram Programs. In: Proc. 4th Int. Conf. Automation of Mixed Processes: Hybrid Dynamic Systems (ADPM), Dortmund, Germany, pp. 177\u2013182. Shaker Verlag, Germany (2000)"},{"key":"17_CR17","unstructured":"N\u00e9meth, E., Bartha, T.: Formal verification of function block based specifications of safety-critical software. In: Modern Information Technology in the Innovation Processes of the Industrial Enterprises (MITIP 2006), Budapest, Hungary, pp. 211\u2013218 (2006)"},{"key":"17_CR18","unstructured":"N\u00e9meth, E., Fazekas, C., Szederk\u00e9nyi, G., Hangos, K.M.: Modeling and simulation of the primary circuit of the Paks nuclear power plant for control and diagnosis. In: Proceedings of the EUROSIM 2007, Ljubljana, Slovenia (2007) (on CD)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03240-0_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,11]],"date-time":"2025-02-11T12:59:45Z","timestamp":1739278785000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03240-0_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642032394","9783642032400"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03240-0_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}