{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T10:22:56Z","timestamp":1725790976368},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642547331"},{"type":"electronic","value":"9783642547348"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54734-8_27","type":"book-chapter","created":{"date-parts":[[2014,4,2]],"date-time":"2014-04-02T16:03:40Z","timestamp":1396454620000},"page":"237-248","source":"Crossref","is-referenced-by-count":1,"title":["Strategies to Improve Synchronous Dataflows Analysis Using Mappings between Petri Nets and Dataflows"],"prefix":"10.1007","author":[{"given":"Jos\u00e9-In\u00e1cio","family":"Rocha","sequence":"first","affiliation":[]},{"given":"Oct\u00e1vio","family":"P\u00e1scoa Dias","sequence":"additional","affiliation":[]},{"given":"Lu\u00eds","family":"Gomes","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"27_CR1","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1109\/78.485935","volume":"44","author":"G. Bilsen","year":"1996","unstructured":"Bilsen, G., Engels, M., Lauwereins, R., Peperstraete, J.: Cycle-static dataflow. IEEE Transactions on Signal Processing\u00a044(2), 397\u2013408 (1996)","journal-title":"IEEE Transactions on Signal Processing"},{"key":"27_CR2","doi-asserted-by":"crossref","unstructured":"Buck, J.T., Lee, E.A.: Scheduling dynamic dataflow graphs with bounded memory using the token flow model. In: IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 1993, vol.\u00a01, pp. 429\u2013432 (April 1993)","DOI":"10.1109\/ICASSP.1993.319147"},{"key":"27_CR3","doi-asserted-by":"publisher","first-page":"2408","DOI":"10.1109\/78.950795","volume":"49","author":"B. Bhattacharya","year":"2001","unstructured":"Bhattacharya, B., Bhattacharyya, S.S.: Parameterized Dataflow Modeling for DSP Systems. IEEE Transactions on Signal Processing\u00a049, 2408\u20132421 (2001)","journal-title":"IEEE Transactions on Signal Processing"},{"issue":"1","key":"27_CR4","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1109\/TC.1987.5009446","volume":"C-36","author":"E. Lee","year":"1987","unstructured":"Lee, E., Messerschmitt, D.G.: Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing. IEEE Transactions on Computers\u00a0C-36(1), 24\u201335 (1987)","journal-title":"IEEE Transactions on Computers"},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"Rocha, J.-I., Gomes, L., Dias, O.: Petri net verification techniques on synchronous dataflow models. In: IECON 2011 37th Annual Conference on IEEE Industrial Electronics Society, pp. 3792\u20133797 (2011)","DOI":"10.1109\/IECON.2011.6119927"},{"key":"27_CR6","doi-asserted-by":"crossref","unstructured":"Rocha, J.-I., P\u00e1scoa Dias, O., Gomes, L.: Exploiting Dataflows and Petri Nets Mappings. In: 2013 11th IEEE International Conference on Industrial Informatics (INDIN), pp. 590\u2013595 (2013)","DOI":"10.1109\/INDIN.2013.6622950"},{"key":"27_CR7","doi-asserted-by":"crossref","unstructured":"Yeap, G.K.: Practical Low Power Digital VLSI Design. Springer (1997)","DOI":"10.1007\/978-1-4615-6065-4"},{"key":"27_CR8","volume-title":"Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications","author":"C. Giraud","year":"2003","unstructured":"Giraud, C., Valk, R.: Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications. Springer, Heidelberg (2003)"},{"issue":"4","key":"27_CR9","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"27_CR10","volume-title":"Petri Net Theory and the Modeling of Systems","author":"J.L. Peterson","year":"1981","unstructured":"Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice Hall PTR, Upper Saddle River (1981)"},{"key":"27_CR11","unstructured":"Kahn, G.: The Semantic of a Simple Language for Parallel Programming. In: Proc. of the IFfP Congress 74, vol.\u00a074, North-Holland Publishing Co. (1974)"},{"key":"27_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1007\/3-540-06859-7_145","volume-title":"Programming Symposium","author":"J. Dennis","year":"1974","unstructured":"Dennis, J.: First version of a data flow procedure language. In: Robinet, B. (ed.) Programming Symposium. LNCS, vol.\u00a019, pp. 362\u2013376. Springer, Heidelberg (1974)"},{"issue":"9","key":"27_CR13","doi-asserted-by":"publisher","first-page":"1235","DOI":"10.1109\/PROC.1987.13876","volume":"75","author":"E.A. Lee","year":"1987","unstructured":"Lee, E.A., Messerschmitt, D.G.: Synchronous data flow. Proceedings of the IEEE\u00a075(9), 1235\u20131245 (1987)","journal-title":"Proceedings of the IEEE"},{"key":"27_CR14","doi-asserted-by":"crossref","unstructured":"Rocha, J.-I., Gomes, L., P\u00e1scoa Dias, O.: Dataflow Model Property Verification Using Petri net Translation Techniques. In: INDIN\u20192011 - 9th IEEE International Conference on Industrial Informatics, pp. 783\u2013788 (2011), doi:10.1109\/INDIN.2011.6034993, ISBN 978-1-4577-0434-5","DOI":"10.1109\/INDIN.2011.6034993"},{"key":"27_CR15","doi-asserted-by":"crossref","unstructured":"Rocha, J.-I., Gomes, L., P\u00e1scoa Dias, O.: Analysing Storage Resources on Synchronous Dataflows using Petri Net Verification Techniques. In: IECON\u20192012 \u2013 The 38th Annual Conference of the IEEE Industrial Electronics Society (2012)","DOI":"10.1109\/IECON.2012.6389492"},{"key":"27_CR16","first-page":"13","volume-title":"Proceedings of the First International Conference on Verification and Evaluation of Computer and Communication Systems\u00a0(VECoS 2007)","author":"M.C. Boukala","year":"2007","unstructured":"Boukala, M.C., Petrucci, L.: Towards distributed verification of petri nets properties. In: Barkaoui, K., Ioualalen, M. (eds.) Proceedings of the First International Conference on Verification and Evaluation of Computer and Communication Systems\u00a0(VECoS 2007), pp. 13\u201324. British Computer Society, Swinton (2007)"},{"key":"27_CR17","unstructured":"INA - Integrated Net Analyser, Humboldt \u2013 Universita zu Berlin, \n                    \n                      http:\/\/www2.informatik.hu-berlin.de\/starke\/ina.html"},{"key":"27_CR18","unstructured":"TINA-TIme Petri Net Analyzer, Laboratoire d\u2019Analyse et d\u2019Architecture des Syst\u00e9mes, \n                    \n                      http:\/\/homepages.laas.fr\/bernard\/tina\/"}],"container-title":["IFIP Advances in Information and Communication Technology","Technological Innovation for Collective Awareness Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54734-8_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T14:08:15Z","timestamp":1558879695000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54734-8_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642547331","9783642547348"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54734-8_27","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2014]]}}}