{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T19:47:54Z","timestamp":1760298474563},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540609223"},{"type":"electronic","value":"9783540497233"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-60922-9_42","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:04:40Z","timestamp":1330290280000},"page":"515-528","source":"Crossref","is-referenced-by-count":14,"title":["Flip-flop nets"],"prefix":"10.1007","author":[{"given":"Vincent","family":"Schmitt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"42_CR1","unstructured":"Aho A.V., Hopcroft J.E., Ullman J.D.: The design and analysis of computer algorithms, (third printing), Addison-Wesley Publishing Company (76)"},{"key":"42_CR2","doi-asserted-by":"crossref","unstructured":"Badouel E. and Darondeau P.: Dualities between Nets and Automata induced by schizophrenic objects. INRIA Research Report 2452 (95). To appear in Proceedings of the \u201c6th category theory and computer science\u201d","DOI":"10.1007\/3-540-60164-3_18"},{"key":"42_CR3","doi-asserted-by":"crossref","unstructured":"Badouel E., Bernardinello L. and Darondeau P.: Polynomial algorithms for the synthesis of bounded nets, Proceedings Caap'95 LNCS 915 (95) p. 364\u2013378","DOI":"10.1007\/3-540-59293-8_207"},{"key":"42_CR4","unstructured":"Badouel E., Bernardinello L. and Darondeau P.: The synthesis problem for elementary net systems is NP-complete. INRIA Research Report 2558 (95)."},{"key":"42_CR5","doi-asserted-by":"crossref","unstructured":"Bernardinello L.: Synthesis of net systems, application and theory of Petri nets, Springer Verlag Lecture notes in computer science, vol 691 (93) p. 89\u2013105","DOI":"10.1007\/3-540-56863-8_42"},{"key":"42_CR6","doi-asserted-by":"crossref","unstructured":"Ehrenfeucht A. and Rozenberg G.: Partial 2-structures, part 1: Basic notion and the representation problem, part 2: State spaces of concurrent systems, Acta Informatica, vol 27 (90)","DOI":"10.1007\/BF00264612"},{"key":"42_CR7","unstructured":"Gondran M. and Minoux M.: Graphes et algorithmes. Eyrolles, Paris (85)"},{"key":"42_CR8","unstructured":"Desel J. and Reisig W.: The synthesis problem of Petri nets. TUM research report, Munich (92)."}],"container-title":["Lecture Notes in Computer Science","STACS 96"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60922-9_42.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:02:36Z","timestamp":1605646956000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60922-9_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540609223","9783540497233"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-60922-9_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}