{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T16:01:39Z","timestamp":1725897699167},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336775"},{"type":"electronic","value":"9783642336782"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33678-2_8","type":"book-chapter","created":{"date-parts":[[2012,9,6]],"date-time":"2012-09-06T15:02:42Z","timestamp":1346943762000},"page":"87-98","source":"Crossref","is-referenced-by-count":3,"title":["Model Based Specification, Verification, and Test Generation for a Safety Fieldbus Profile"],"prefix":"10.1007","author":[{"given":"Jan","family":"Krause","sequence":"first","affiliation":[]},{"given":"Elke","family":"Hintze","sequence":"additional","affiliation":[]},{"given":"Stephan","family":"Magnus","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Diedrich","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/3-540-46105-1_34","volume-title":"Advances in Object-Oriented Information Systems","author":"B. Sch\u00e4tz","year":"2002","unstructured":"Sch\u00e4tz, B., Pretschner, A., Huber, F., Philipps, J.: Model-Based Development of Embedded Systems. In: Bruel, J.-M., Bellahs\u00e8ne, Z. (eds.) OOIS 2002. LNCS, vol.\u00a02426, pp. 298\u2013311. Springer, Heidelberg (2002)"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Frenzel, R., Wollschlaeger, M., Hadlich, T., Diedrich, C.: Tool support for the development of IEC 62390 compliant fieldbus profiles. In: Emerging Technologies and Factory Automation (ETFA), IEEE Conference (2010)","DOI":"10.1109\/ETFA.2010.5640981"},{"key":"8_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/b95112","volume-title":"Coloured Petri Nets: Modeling and Validation of Concurrent Systems","author":"K. Jensen","year":"2009","unstructured":"Jensen, K.: Coloured Petri Nets: Modeling and Validation of Concurrent Systems. Springer, Berlin (2009)"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Best, E., Fleischhack, H., Fraczak, W., Hopkins, R., Klaudel, H., Pelz, E.: A Class of Composable High Level Petri Nets. In: ATPN 1995. Springer (1995)","DOI":"10.1007\/3-540-60029-9_36"},{"key":"8_CR5","unstructured":"ISO\/IEC 15909-1: Software and system engineering \u2013 High-level Petri nets \u2013 Part 1: Concepts, definitions and (2004)"},{"key":"8_CR6","unstructured":"Krause, J., Herrmann, A., Diedrich, C.: Test case generation from formal system specifications based on UML State Machines. atp - International 01\/2008. Oldenbourg-Verlag (2008)"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Esparza, J., R\u00f6mer, S., Vogler, W.: An Improvement of McMillan\u2019s unfolding algorithm. In: Formal Methods in Systems Design, vol. 20, Springer (2002)","DOI":"10.1023\/A:1014746130920"},{"key":"8_CR8","unstructured":"Heljanko, K.: Combining Symbolic and Partial Order Methods for Model Checking 1-safe Petri Nets, PhD thesis. Helsinki University of Technology, Helsinki (2002)"},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/3-540-56496-9_14","volume-title":"Computer Aided Verification","author":"K.L. McMillan","year":"1993","unstructured":"McMillan, K.L.: Using Unfoldings to avoid the State Explosion Problem in the Verification of Asynchronous Circuits. In: Probst, D.K., von Bochmann, G. (eds.) CAV 1992. LNCS, vol.\u00a0663, pp. 164\u2013177. Springer, Heidelberg (1993)"},{"key":"8_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-05324-9","volume-title":"Petri Nets for Systems Engineering: A Guide to Modelling, Verification, and Applications","author":"C. Girault","year":"2003","unstructured":"Girault, C., Valk, R.: Petri Nets for Systems Engineering: A Guide to Modelling, Verification, and Applications. Springer, Heidelberg (2003)"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Khomenko, V.: Model Checking Based on Prefixes of Petri Net Unfoldings. University of Newcastle (2003)","DOI":"10.1007\/3-540-45657-0_49"},{"key":"8_CR12","unstructured":"ETSI: Testing and Test Control Notation (2009), \n                    \n                      http:\/\/www.ttcn3.org\/"},{"key":"8_CR13","unstructured":"PNO, PROFIBUS Specification: PROFIsafe for PA Devices. V1.01 (2009)"},{"key":"8_CR14","unstructured":"Object Management Group: Unified Modeling Language 2.2 Superstructure Specification (2009), \n                    \n                      http:\/\/www.uml.org\/\n                    \n                    \n                   (January 08, 2010)"},{"key":"8_CR15","unstructured":"Frey, G.: Design and formal Analysis of Petri Net based Logic Controllers, Dissertation. Shaker Verlag, Aachen (2002)"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Gomes, L., Barros, J., Costa, A., Nunes, R.: The Input-Output Place-Transition Petri Net Class and Associated Tools. In: Proceedings of the 5th IEEE International Conference on Industrial Informatics (INDIN 2007), Vienna, Austria (2007)","DOI":"10.1109\/INDIN.2007.4384809"}],"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-642-33678-2_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:18:51Z","timestamp":1620130731000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33678-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336775","9783642336782"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33678-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}