{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T17:09:05Z","timestamp":1742404145563},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540661320"},{"type":"electronic","value":"9783540487456"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48745-x_13","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T04:12:59Z","timestamp":1193458379000},"page":"208-227","source":"Crossref","is-referenced-by-count":5,"title":["Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets"],"prefix":"10.1007","author":[{"given":"Marco","family":"Sgroi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luciano","family":"Lavagno","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yosinori","family":"Watanabe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Sangiovanni-Vincentelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,4,18]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"J. Desel and J. Esparza. Free choice Petri nets. Cambridge University Press, 1995.","DOI":"10.1017\/CBO9780511526558"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"E.A. Lee and D.G. Messerschmitt. Static scheduling of synchronous data flow programs for digital signal processing. IEEE Transactions on computers, January 1987.","DOI":"10.1109\/TC.1987.5009446"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"E. Best. Structure theory of petri nets: the free choice hiatus. In Advances in Petri Nets, 1986.","DOI":"10.1007\/978-3-540-47919-2_8"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"E. Filippi et al. Intellectual property re-use in embedded system co-design: an industrial case study. In International Symposium System Synthesis. ISSS\u2019 98. Taiwan, December 1998.","DOI":"10.1109\/ISSS.1998.730594"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"I.R. Bahar et. al. Algebraic decision diagrams and their applications. In IEEE International Conference on Computer-Aided Design, November 1993.","DOI":"10.1109\/ICCAD.1993.580054"},{"key":"13_CR6","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/0304-3975(95)00124-7","volume":"153","author":"E. Teruel","year":"1996","unstructured":"E. Teruel and M. Silva. Structure theory of equal conflict systems. In Theoretical Computer Science, vol.153, pp. 271\u2013300, 1996.","journal-title":"Theoretical Computer Science"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"J. Buck. Scheduling dynamic dataflow graphs with bounded memory using the token flow model. Ph.D dissertation. UC Berkeley, 1993.","DOI":"10.1109\/ICASSP.1993.319147"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"B. Lin. Software synthesis of process-based concurrent programs. In Proceedings of the Design Automation Conference, June 1998.","DOI":"10.1145\/277044.277182"},{"key":"13_CR9","unstructured":"M. Hack. Analysis of Production Schemata by Petri Nets. Master thesis. MIT, 1972."},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"M. Sgroi. Quasi-Static Scheduling of Embedded Software Using Free-Choice Petri Nets. M.S. dissertation. UC Berkeley, May 1998.","DOI":"10.1007\/3-540-48745-X_13"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":". T. Murata. Petri nets: properties, analysis and applications. In Proceedings of the IEEE, April 1989.","DOI":"10.1109\/5.24143"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1999"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48745-X_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T22:09:22Z","timestamp":1556921362000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48745-X_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540661320","9783540487456"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-48745-x_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}