{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:18:03Z","timestamp":1725664683220},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540602491"},{"type":"electronic","value":"9783540447702"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60249-6_57","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:57:04Z","timestamp":1330279024000},"page":"253-262","source":"Crossref","is-referenced-by-count":2,"title":["Computing Petri net languages by reductions"],"prefix":"10.1007","author":[{"given":"Anja","family":"Gronewold","sequence":"first","affiliation":[]},{"given":"Hans","family":"Fleischhack","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(88)90051-5","volume":"60","author":"I. J. Aalbersberg","year":"1988","unstructured":"IJsbrand Jan Aalbersberg, Grzegorz Rozenberg: Theory of Traces; TCS 60, 1\u201382, 1988","journal-title":"TCS"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"G\u00e9rard Berthelot: Checking Properties of Nets Using Transformations; LNCS 222, 19\u201340, Springer 1986","DOI":"10.1007\/BFb0016204"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"G\u00e9rard Berthelot: Transformations and Decompositions of Nets; LNCS 254, 359\u2013376, Springer 1987","DOI":"10.1007\/978-3-540-47919-2_13"},{"key":"20_CR4","unstructured":"Eike Best, C\u00e9sar Fern\u00e1ndez: Notations and Terminology on Petri Net Theory; Arbeitspapiere der GMD 195, Januar 1986"},{"key":"20_CR5","unstructured":"Eike Best, Hans Fleischhack, Hrsg.: Zwischenbericht des Projekts PEP; Hildesheimer Informatikberichte, Institut f\u00fcr Informatik, Universit\u00e4t Hildesheim 1995"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Wilfried Brauer: Automatentheorie; Teubner 1984","DOI":"10.1007\/978-3-322-92151-2"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"J\u00f6rg Desel: Reduction and Design of Well-behaved Concurrent Systems; CONCUR '90, LNCS 458, 166\u2013181, Springer 1990","DOI":"10.1007\/BFb0039059"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Javier Esparza, Manuel Silva: Top-Down Synthesis of Live and Bounded Free Choice Nets; 11th International Conference on Application and Theory of Petri Nets, Paris 1990","DOI":"10.1007\/3-540-54430-5_88"},{"key":"20_CR9","unstructured":"Javier Esparza: Reduction and Synthesis of Live and Bounded Free Choice Petri Nets; Hildesheimer Informatikberichte, Institut f\u00fcr Informatik, Universit\u00e4t Hildesheim 1991"},{"key":"20_CR10","unstructured":"Anja Gronewold: Sprachanalyse durch Reduktion von Petri-Netzen; Diploma Thesis, Universit\u00e4t Oldenburg 1993"},{"key":"20_CR11","unstructured":"Anja Gronewold: Language Preserving Reductions of Free-Choice Nets; Paris 1995 (in progress)"},{"key":"20_CR12","unstructured":"Anja Gronewold, Hans Fleischhack: Language Preserving Reductions of Safe Petri-Nets; Berichte aus dem Fachbereich Informatik, Universit\u00e4t Oldenburg 1995"},{"key":"20_CR13","unstructured":"A. V. Kovalyov: On Complete Reducibility of Some Classes of Petri Nets; 11th International Conference on Application and Theory of Petri Nets, Paris 1990"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"Matthias Jantzen: Language Theory of Petri Nets; LNCS 254, 397\u2013434, Springer 1986","DOI":"10.1007\/978-3-540-47919-2_15"},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"Antoni Mazurkiewicz: Trace Theory; LNCS 255, 279\u2013324, Springer 1987","DOI":"10.1007\/3-540-17906-2_30"},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"Antoni Mazurkiewicz: Basic Notions of Trace Theory; Research and Education in Concurrent Systems, REX School\/Workshop 1988","DOI":"10.1007\/BFb0013025"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Computation Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60249-6_57.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T09:33:57Z","timestamp":1640943237000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60249-6_57"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602491","9783540447702"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-60249-6_57","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}