{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T19:46:18Z","timestamp":1771703178998,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540403340","type":"print"},{"value":"9783540449195","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44919-1_27","type":"book-chapter","created":{"date-parts":[[2007,9,3]],"date-time":"2007-09-03T00:38:42Z","timestamp":1188779922000},"page":"440-449","source":"Crossref","is-referenced-by-count":19,"title":["PLC Programming with Signal Interpreted Petri Nets"],"prefix":"10.1007","author":[{"given":"St\u00e9phane","family":"Klein","sequence":"first","affiliation":[]},{"given":"Georg","family":"Frey","sequence":"additional","affiliation":[]},{"given":"Mark","family":"Minas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,5,27]]},"reference":[{"key":"27_CR1","isbn-type":"print","volume-title":"Design and formal Analysis of Petri Net based Logic Control Algorithms \u2014 Entwurf und formale Analyse Petrinetz-basierter Steuerungsalgorithmen","author":"G. Frey","year":"2002","unstructured":"Frey, G.: Design and formal Analysis of Petri Net based Logic Control Algorithms \u2014 Entwurf und formale Analyse Petrinetz-basierter Steuerungsalgorithmen. (ISBN 3-8322-0043-6), Dissertation, University of Kaiserslautern, Shaker Verlag, Aachen, April 2002.","ISBN":"https:\/\/id.crossref.org\/isbn\/3832200436"},{"key":"27_CR2","unstructured":"Frey, G.: SIPN, Hierarchical SIPN, and Extensions. In: Reports of the Institute of Automatic Control I19\/2001, University of Kaiserslautern, Dec. 2001. Available at http:\/\/www.eit.uni-kl.de\/litz\/ENGLISH\/members\/frey\/papers.htm"},{"key":"27_CR3","doi-asserted-by":"crossref","unstructured":"Minas, M.: Diagram editing with hypergraph parser support. In: Proceedings of 1997 Symposium on Visual Languages (VL\u201997), pages 230\u2013237, 1997.","DOI":"10.1109\/VL.1997.626587"},{"key":"27_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/3-540-45104-8_15","volume-title":"Int. Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE\u201999)","author":"M. Minas","year":"2000","unstructured":"Minas, M.: Creating semantic representations of diagrams. In: M. Nagl and A. Sch\u00fcrr, (eds.), Int. Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE\u201999), Selected Papers, LNCS 1779, pages 209\u2013224. Springer, Mar. 2000."},{"issue":"2","key":"27_CR5","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/S0167-6423(02)00037-0","volume":"44","author":"M. Minas","year":"2002","unstructured":"Minas, M.: Concepts and realization of a diagram editor generator based on hypergraph transformation. In: Science of Computer Programming, 44(2):157\u2013180, 2002.","journal-title":"Science of Computer Programming"},{"key":"27_CR6","unstructured":"IEC: International Standard 61131-3, 2nd Ed., Programmable Controllers \u2014 Programming Languages, 1999."},{"key":"27_CR7","unstructured":"Boehm, B. W.: Guidelines for Verifying and Validating Software Requirements and Design Specifications. In: P.A. Samet (ed), Proceedings of the EURO IFIP 79, North-Holland Publishing Company, 1979."},{"key":"27_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04558-9","volume-title":"Systems and Software Verification, Model-Checking Techniques and Tools","author":"B. B\u00e9rard","year":"2001","unstructured":"B\u00e9rard, B., Bidiot, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, Ph.: Systems and Software Verification, Model-Checking Techniques and Tools. Springer, Berlin, New-York, 2001."},{"key":"27_CR9","volume-title":"The SMV language","author":"K. L. McMillan","year":"1999","unstructured":"McMillan, K. L.: The SMV language. Cadence Berkeley Labs, Berkeley, Californy (USA), Mar. 23, 1999. www-cad.eecs.berkeley.edu\/kenmc-mil"},{"key":"27_CR10","doi-asserted-by":"crossref","unstructured":"Canet, G., Couffin, S., Lesage, J.-J., Petit, A., Schnoebelen, P.: Towards the automatic verification of PLC programs written in Instruction List. In: Proceedings of the IEEE Conference on Systems Man and Cybernetics SMC 2000, pp. 2449\u20132454, Nashville, Tennessee (USA), Oct. 8\u201311, 2000.","DOI":"10.1109\/ICSMC.2000.884359"},{"key":"27_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-07847-1","volume-title":"IEC 61131-3: Programming Industrial Automation Systems","author":"K.-H. John","year":"2001","unstructured":"John, K.-H., Tiegelkamp, M.: IEC 61131-3: Programming Industrial Automation Systems. Springer, Beriln, New-York, 2001."},{"key":"27_CR12","doi-asserted-by":"crossref","unstructured":"Stanton, M. J., Arnold, W. F., Buck, A. A.: Modelling and control of manufacturing systems using Petri nets. In: Proceedings of the 13th IFAC World Congress, pp. 329\u2013334, 1996.","DOI":"10.1016\/S1474-6670(17)58432-3"},{"key":"27_CR13","doi-asserted-by":"crossref","unstructured":"Venkatesh, K., Zhou, M., Caudill, R. J.: Discrete event control design for manufacturing systems via ladder logic diagrams and Petri nets: A comparative study. In M. Zhou, editor, Petri Nets in Flexible and Agile Automation, pp. 265\u2013304. Kluwer Academic Publish., 1995.","DOI":"10.1007\/978-1-4615-2231-7_10"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44919-1_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,23]],"date-time":"2019-02-23T10:26:27Z","timestamp":1550917587000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44919-1_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540403340","9783540449195"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-44919-1_27","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2003]]}}}