{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T13:31:03Z","timestamp":1760707863782},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540403340"},{"type":"electronic","value":"9783540449195"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44919-1_19","type":"book-chapter","created":{"date-parts":[[2007,9,2]],"date-time":"2007-09-02T20:38:42Z","timestamp":1188765522000},"page":"276-295","source":"Crossref","is-referenced-by-count":5,"title":["Logical Reasoning and Petri Nets"],"prefix":"10.1007","author":[{"given":"Kurt","family":"Lautenbach","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,5,27]]},"reference":[{"key":"19_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1007\/3-540-56689-9_42","volume-title":"A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri Nets","author":"J. Ezpeleta","year":"1993","unstructured":"J. Ezpeleta, J. M. Couvreur and M. Silva. A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri Nets. Lecture Notes in Computer Science; Advances in Petri Nets 1993, 674:126\u2013147, 1993."},{"key":"19_CR2","unstructured":"J.H. Gallier. Logic for Computer Science: Foundations of Automated Theorem Proving. Wiley, 1987."},{"key":"19_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"588","DOI":"10.1007\/3-540-07854-1_232","volume-title":"The Calculus of Facts. Mazurkiewicz, Mathematical Foundations of Computer Science 1976","author":"H. J. Genrich","year":"1976","unstructured":"H. J. Genrich and G. Thieler-Mevissen. The Calculus of Facts. Mazurkiewicz, Mathematical Foundations of Computer Science 1976, Lecture Notes in Computer Science 45, S. 588\u2013595. Springer, 1976."},{"key":"19_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/3-540-48068-4_15","volume-title":"Applications and Theory of Petri Nets 2002, 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24\u201330, 2002, Proceedings","author":"K. Lautenbach","year":"2002","unstructured":"K. Lautenbach. Reproducibility of the Empty Marking. Javier Esparza and Charles Lakos, Applications and Theory of Petri Nets 2002, 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24\u201330, 2002, Proceedings, Band 2360 von Lecture Notes in Computer Science, S. 237\u2013253. Springer, 2002."},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Tadao Murata. Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, S. 541\u2013580, April 1989.","DOI":"10.1109\/5.24143"},{"issue":"2","key":"19_CR6","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1109\/32.21746","volume":"15","author":"G. Peterka","year":"1989","unstructured":"G. Peterka and Tadao Murata. Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs. IEEE Trans. Software Eng., 15(2):209\u2013217, 1989.","journal-title":"IEEE Trans. Software Eng."},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"W. Reisig. Petri Nets., Band 4. Springer-Verlag EATCS Monographs on Theoretical Computer Science, 1985.","DOI":"10.1007\/978-3-642-69968-9"}],"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_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,23]],"date-time":"2019-02-23T05:18:32Z","timestamp":1550899112000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44919-1_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540403340","9783540449195"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-44919-1_19","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}