{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:57Z","timestamp":1725663417515},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540509394"},{"type":"electronic","value":"9783540461166"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-50939-9_129","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:35:19Z","timestamp":1330202119000},"page":"134-148","source":"Crossref","is-referenced-by-count":0,"title":["Shuffle equations, parallel transition systems and equational Petri nets"],"prefix":"10.1007","author":[{"given":"Stephen L.","family":"Bloom","sequence":"first","affiliation":[]},{"given":"Klaus","family":"Sutner","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/0304-3975(76)90008-6","volume":"2","author":"M. Hack","year":"1976","unstructured":"M. Hack. The equality problem for vector addition systems is undecidable. Theoretical Computer Science, 2:77\u201395, 1976.","journal-title":"Theoretical Computer Science"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"R.R. Howell, L.E. Rosier, and H. C. Yen. An O(n 1.5) algorithm to decide boundedness for conflict free vector replacement systems. Technical report, University of Texas at Austin, 1986.","DOI":"10.1016\/0020-0190(87)90089-5"},{"key":"9_CR3","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/S0019-9958(83)80022-9","volume":"57","author":"D.T. Huynh","year":"1983","unstructured":"D.T. Huynh. Commutative grammars: the complexity of the uniform word problems. Information and Control, 57:21\u201339, 1983.","journal-title":"Information and Control"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"M. Jantzen. Complexity of place and transition systems. In Petri Nets: Central Models and their Properties, volume 254 of LNCS. Springer-Verlag, 1986.","DOI":"10.1007\/978-3-540-47919-2_16"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"M. Jantzen. Language theory of Petri nets. In Petri Nets: Central Models and their Properties, volume 254 of LNCS. Springer-Verlag, 1986.","DOI":"10.1007\/978-3-540-47919-2_15"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"W. Reisig. Petri Nets, volume 4 of EATCS. Springer Verlag, 1986.","DOI":"10.1007\/978-3-642-69968-9"},{"key":"9_CR7","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/0304-3975(83)90021-X","volume":"26","author":"G. Rozenberg","year":"1983","unstructured":"G. Rozenberg and R. Verraedt. Subset languages of Petri nets part I: The relationship to string languages and normal forms. Theoretical Computer Science, 26:301\u2013326, 1983.","journal-title":"Theoretical Computer Science"},{"key":"9_CR8","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0304-3975(83)90094-4","volume":"27","author":"G. Rozenberg","year":"1983","unstructured":"G. Rozenberg and R. Verraedt. Subset langauges of Petri nets part II: The closure properties. Theoretical Computer Science, 27:85\u2013108, 1983.","journal-title":"Theoretical Computer Science"},{"key":"9_CR9","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1016\/0022-0000(81)90067-2","volume":"23","author":"R. Valk","year":"1981","unstructured":"R. Valk and G. Vidal-Naquet. Petri nets and regular languages. Journal of Computers and System Science, 23:299\u2013325, 1981.","journal-title":"Journal of Computers and System Science"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '89"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50939-9_129.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T00:57:31Z","timestamp":1619571451000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50939-9_129"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540509394","9783540461166"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-50939-9_129","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}