{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,3]],"date-time":"2025-10-03T22:24:27Z","timestamp":1759530267281},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319311647"},{"type":"electronic","value":"9783319311654"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-31165-4_7","type":"book-chapter","created":{"date-parts":[[2016,3,21]],"date-time":"2016-03-21T12:22:45Z","timestamp":1458562965000},"page":"65-76","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Combining Data-Flows and Petri Nets for Cyber-Physical Systems Specification"],"prefix":"10.1007","author":[{"given":"Fernando","family":"Pereira","sequence":"first","affiliation":[]},{"given":"Luis","family":"Gomes","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets: An Introduction","author":"W Reisig","year":"1985","unstructured":"Reisig, W.: Petri Nets: An Introduction. Springer, New York (1985)"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Pereira, F., Moutinho, F., Gomes, L.: IOPT-Tools - towards cloud design automation of digital controllers with Petri nets. In: ICMC 2014 International Conference on Mechatronics and Control, Jinzhou, China, 3\u20135 July 2014","DOI":"10.1109\/ICMC.2014.7232002"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Gomes, L., Moutinho, F., Pereira, F., Ribeiro, J., Costa, A., Barros, J.-P.: Extending input-output place-transition Petri nets for distributed controller systems development. In: ICMC 2014 - International Conference on Mechatronics and Control, Jinzhou, China, 3\u20135 July 2014, pp. 1099\u20131104 (2014)","DOI":"10.1109\/ICMC.2014.7231723"},{"issue":"4","key":"7_CR4","doi-asserted-by":"crossref","first-page":"415","DOI":"10.3233\/FI-2000-41403","volume":"41","author":"HM Hanisch","year":"2000","unstructured":"Hanisch, H.M., L\u00fcder, A.: A signal extension for Petri nets and its use in controller design. Fundamenta Informaticae 41(4), 415\u2013431 (2000)","journal-title":"Fundamenta Informaticae"},{"key":"7_CR5","unstructured":"Starke, P., Roch, S.: Analysing Signal-Net Systems. Humboldt-Universi\u00e4t at zu Berlin, Institut fur Informatik (2002)"},{"issue":"6","key":"7_CR6","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1016\/S1474-6670(17)36458-3","volume":"36","author":"Georg Frey","year":"2003","unstructured":"Frey, G.: Hierarchical design of logic controllers using signal interpreted Petri nets. In: Proceedings of the IFAC AHDS 2003, Saint-Malo, France, vol. 12, pp. 401\u2013406 (2003)","journal-title":"IFAC Proceedings Volumes"},{"issue":"6","key":"7_CR7","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1145\/2663340","volume":"58","author":"K Jensen","year":"2015","unstructured":"Jensen, K., Kristensen, L.M.: Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems. Commun. ACM 58(6), 61\u201370 (2015)","journal-title":"Commun. ACM"},{"issue":"9","key":"7_CR8","doi-asserted-by":"publisher","first-page":"1235","DOI":"10.1109\/PROC.1987.13876","volume":"75","author":"EA Lee","year":"1987","unstructured":"Lee, E.A., Messerschmitt, D.G.: Synchronous data flow. Proc. IEEE 75(9), 1235\u20131245 (1987). doi:\n                    10.1109\/PROC.1987.13876","journal-title":"Proc. IEEE"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Cola\u00e7o, J.L., Pagano, B., Pouzet, M.: A conservative extension of synchronous data-flow with state machines. In: Proceedings of the 5th ACM International Conference on Embedded Software, pp. 173\u2013182. ACM (2005)","DOI":"10.1145\/1086228.1086261"},{"key":"7_CR10","unstructured":"Vyatkin, V.: Instrument Society of America. IEC 61499 function blocks for embedded and distributed control systems design (p. o3neida). ISA-Instrumentation, Systems, and Automation Society (2007)"},{"key":"7_CR11","volume-title":"Mastering Simulink","author":"JB Dabney","year":"2004","unstructured":"Dabney, J.B., Harman, T.L.: Mastering Simulink. Pearson, Upper Saddle River (2004)"},{"key":"7_CR12","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/978-3-642-37291-9_26","volume-title":"Technological Innovation for the Internet of Things","author":"F Pereira","year":"2013","unstructured":"Pereira, F., Gomes, L.: Minimalist architecture to generate embedded system web user interfaces. In: Camarinha-Matos, L.M., Tomic, S., Gra\u00e7a, P. (eds.) DoCEIS 2013. IFIP AICT, vol. 394, pp. 239\u2013249. Springer, Heidelberg (2013)"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Pereira, F.; Melo, A.; Gomes, L.: Remote operation of embedded controllers designed using IOPT Petri-nets. In: 13th IEEE International Conference on Industrial Informatics; 22\u201324 July 2015, Cambridge, UK (2015)","DOI":"10.1109\/INDIN.2015.7281797"}],"container-title":["IFIP Advances in Information and Communication Technology","Technological Innovation for Cyber-Physical Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-31165-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,24]],"date-time":"2020-03-24T01:04:23Z","timestamp":1585011863000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-31165-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319311647","9783319311654"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-31165-4_7","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}