{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:10:33Z","timestamp":1725495033345},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540422525"},{"type":"electronic","value":"9783540457404"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45740-2_10","type":"book-chapter","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T10:30:51Z","timestamp":1195122651000},"page":"144-163","source":"Crossref","is-referenced-by-count":0,"title":["partial Order Verification of Programmable Logic Controllers"],"prefix":"10.1007","author":[{"given":"Peter","family":"Deussen","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,28]]},"reference":[{"key":"10_CR1","unstructured":"A. V. Aho, J. E. Hopcroft, and J. D. Ullman. Data Structures and Algorithms. Addison-Wesley, 1987."},{"key":"10_CR2","series-title":"Informatik-Berichte","first-page":"39","volume-title":"Workshop on Concurrency, Specification & Programming\u2019 98","author":"P. Deussen","year":"1998","unstructured":"P. Deussen. Algorithmic aspects of concurrent automata. In H.-D. Burkhard, L. Czaja, and P. Starke, editors, Workshop on Concurrency, Specification & Programming\u2019 98, number 110 in Informatik-Berichte, pages 39\u201350, Berlin, 1998. Humboldt Univ. zu Berlin."},{"key":"10_CR3","series-title":"Technical Report","volume-title":"Concurrent automata","author":"P. Deussen","year":"1998","unstructured":"P. Deussen. Concurrent automata. Technical Report 1-05\/1998, Brandenburg Tech. Univ. Cottbus, 1998."},{"key":"10_CR4","series-title":"Technical Report","volume-title":"Improvements of concurrent automata generation","author":"P. Deussen","year":"1999","unstructured":"P. Deussen. Improvements of concurrent automata generation. Technical Report I-08\/1998, Brandenburg Tech. Univ. Cottbus, 1999."},{"key":"10_CR5","first-page":"394","volume-title":"Proc. High Performance Computing\u2019 98","author":"M. Heiner","year":"1998","unstructured":"M. Heiner. Petri net based system analysis without state explosion. In Proc. High Performance Computing\u2019 98, SCS Int. San Diego, pages 394\u2013403, 1998."},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"M. Heiner and T. Menzel. Time-related modelling of PLC systems with time-less Petri nets. In R. Boel and G. Stremersch, editors, Discrete Event Systems, pages 275\u2013282. Kluwer Academic Publishers, 2000.","DOI":"10.1007\/978-1-4615-4493-7_28"},{"key":"10_CR7","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1023\/A:1008655714875","volume":"11","author":"H. Hulgaard","year":"1997","unstructured":"H. Hulgaard and S. M. Burns. Bounded delay timing analysis of a class of CSP programs. Formal Methods in System Design, 11:265\u2013294, 1997.","journal-title":"Formal Methods in System Design"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"K. L. McMillan. Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits. In Proc. of the 4th Workshop on Computer Aided Verification, pages 164\u2013174, Montreal, 1992.","DOI":"10.1007\/3-540-56496-9_14"},{"key":"10_CR9","unstructured":"T. Mertke. Hydraulic piston example, 2000. private communications."},{"key":"10_CR10","unstructured":"Programmable logic controllers-programming languages, IEC 1131-3. International Electronical Commission, Technical Commitee No. 65, second edition. Commitee draft, 1998."},{"issue":"8\/9","key":"10_CR11","first-page":"389","volume":"17","author":"P. H. Starke","year":"1981","unstructured":"P. H. Starke. Processes in Petri nets. J. Inf. Process. Cybern. EIK, 17(8\/9):389\u2013416, 1981.","journal-title":"J. Inf. Process. Cybern. EIK"},{"key":"10_CR12","volume-title":"Testfallableitung und Testrealisierung in verteilten Systemen","author":"A. Ulrich","year":"1998","unstructured":"A. Ulrich. Testfallableitung und Testrealisierung in verteilten Systemen. Shaker Verlaq, Aachen, 1998."},{"key":"10_CR13","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/BF00709154","volume":"1","author":"A. Valmari","year":"1992","unstructured":"A. Valmari. A stubborn attack on state explosion. Formal Methods in System Design, 1:297\u2013322, 1992.","journal-title":"Formal Methods in System Design"},{"key":"10_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/3-540-63139-9_40","volume-title":"18th International Conference on Application and Theory of Petri Nets","author":"F. Vernadat","year":"1997","unstructured":"F. Vernadat and F. Michel. Covering step graph preserving failure semantics. In P. Azema and G. Balbo, editors, 18th International Conference on Application and Theory of Petri Nets, volume 1248 of LNCS, pages 253\u2013270. Springer-Verlag, 1997."},{"key":"10_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-55767-9","volume-title":"Modular construction and partial order semantics of Petri nets","author":"W. Vogler","year":"1992","unstructured":"W. Vogler. Modular construction and partial order semantics of Petri nets, volume 625 of LNCS. Springer-Verlag, 1992."}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2001"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45740-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T09:17:13Z","timestamp":1556961433000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45740-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422525","9783540457404"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-45740-2_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}