{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:18:55Z","timestamp":1759637935058},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540568636"},{"type":"electronic","value":"9783540477594"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56863-8_42","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T06:43:19Z","timestamp":1330238599000},"page":"89-105","source":"Crossref","is-referenced-by-count":23,"title":["Synthesis of net systems"],"prefix":"10.1007","author":[{"given":"Luca","family":"Bernardinello","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"issue":"No.4","key":"7_CR1","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/BF00264611","volume":"27","author":"A. Ehrenfeucht","year":"1990","unstructured":"A.Ehrenfeucht, G.Rozenberg: Partial (Set) 2-Structures. I and II, in: Acta Informatica, Vol. 27, No. 4, pp. 315\u2013368 (1990).","journal-title":"Acta Informatica"},{"issue":"No.1","key":"7_CR2","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(92)90180-N","volume":"96","author":"M. Nielsen","year":"1992","unstructured":"M.Nielsen, G.Rozenberg, P.S.Thiagarajan: Elementary Transition Systems, in: Theoretical Computer Science, vol. 96, No. 1, pp. 3\u201333 (1992).","journal-title":"Theoretical Computer Science"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"W.Reisig: Petri Nets, EATCS Monographs, Springer-Verlag, (1985).","DOI":"10.1007\/978-3-642-69968-9"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"W.Reisig: Towards \u201chandier\u201d solutions of the synthesis problem, invited talk at the REX Concurrencydag, Leiden, 2 October 1992.","DOI":"10.1007\/978-3-642-75329-9_9"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"G.Rozenberg, P.S.Thiagarajan: Petri nets: basic notions, structure, behaviour, in: J.W.de Bakker, W.P.de Roever, G.Rozenberg (eds), Current trends in concurrency, pp 585\u2013668, Springer-Verlag, 1986.","DOI":"10.1007\/BFb0027048"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1993"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56863-8_42.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:56:26Z","timestamp":1619556986000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56863-8_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540568636","9783540477594"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/3-540-56863-8_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}