{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T15:29:11Z","timestamp":1725722951478},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642372902"},{"type":"electronic","value":"9783642372919"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37291-9_26","type":"book-chapter","created":{"date-parts":[[2013,4,15]],"date-time":"2013-04-15T10:32:16Z","timestamp":1366021936000},"page":"239-249","source":"Crossref","is-referenced-by-count":5,"title":["Minimalist Architecture to Generate Embedded System Web User Interfaces"],"prefix":"10.1007","author":[{"given":"Fernando","family":"Pereira","sequence":"first","affiliation":[]},{"given":"Lu\u00eds","family":"Gomes","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","doi-asserted-by":"crossref","unstructured":"Gomes, L., Barros, J., Costa, A., Nunes, R.: The Input-Output Place-Transition Petri Net Class and Associated Tools. In: Proceedings of the 5th IEEE International Conference on Industrial Informatics (INDIN 2007), Vienna, Austria (July 2007)","DOI":"10.1109\/INDIN.2007.4384809"},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"Pereira, F., Moutinho, F., Gomes, L.: Model-checking framework for embedded systems controllers development using IOPT Petri nets. In: 2012 IEEE International Symposium on Industrial Electronics (ISIE), May 28-31, pp. 1399\u20131404 (2012), doi:10.1109\/ISIE.2012.6237295","DOI":"10.1109\/ISIE.2012.6237295"},{"key":"26_CR3","doi-asserted-by":"publisher","first-page":"1806","DOI":"10.1109\/TIE.2009.2031188","volume":"57","author":"L. Gomes","year":"2010","unstructured":"Gomes, L., Lourenco, J.: Rapid Prototyping of Graphical User Interfaces for Petri-Net-Based Controllers. IEEE Transactions on Industrial Electronics\u00a057, 1806\u20131813 (2010)","journal-title":"IEEE Transactions on Industrial Electronics"},{"key":"26_CR4","series-title":"IFIP AICT","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/978-3-642-19170-1_27","volume-title":"Technological Innovation for Sustainability","author":"F. Pereira","year":"2011","unstructured":"Pereira, F., Gomes, L., Moutinho, F.: Automatic generation of run-time monitoring capabilities to Petri nets based Controllers with Graphical User Interfaces. In: Camarinha-Matos, L.M. (ed.) DoCEIS 2011. IFIP AICT, vol.\u00a0349, pp. 246\u2013255. Springer, Heidelberg (2011)"},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"de Souza, R.N., Muniz, D.N., da Silva Fidalgo, A.V.: Ethernet communication platform for synthesized devices in Xilinx FPGA. In: 2011 IEEE International Conference on Computer as a Tool (EUROCON), April 27-29, pp. 1\u20134 (2011), doi:10.1109\/EUROCON.2011.5929377","DOI":"10.1109\/EUROCON.2011.5929377"},{"key":"26_CR6","unstructured":"QNX website, http:\/\/www.qnx.com\/developers\/docs\/6.3.0SP3\/neutrino\/user_guide\/embedded_web_server.html (accessed January 6, 2013)"},{"key":"26_CR7","doi-asserted-by":"crossref","unstructured":"Dunkels, A.: Full TCP\/IP for 8 Bit Architectures. In: Proceedings of the First ACM\/Usenix International Conference on Mobile Systems, Applications and Services (MobiSys 2003), San Francisco (May 2003)","DOI":"10.1145\/1066116.1066118"},{"key":"26_CR8","series-title":"Basic Concepts","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-60794-3","volume-title":"Coloured Petri Nets. Basic Concepts, Analysis Methods and Pratical Use","author":"K. Jensen","year":"1997","unstructured":"Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Pratical Use. Basic Concepts, vol.\u00a01. Springer, Berlin (1997)"},{"key":"26_CR9","doi-asserted-by":"crossref","unstructured":"Hamez, A., Hillah, L., Kordon, F., Linard, A., Paviot-Adet, E., Renault, X., Thierry-Mieg, Y.: New features in CPN-AMI 3: focusing on the analysis of complex distributed systems. In: Sixth International Conference on Application of Concurrency to System Design, ACSD 2006, June 28-30, pp. 273\u2013275 (2006), doi:10.1109\/ACSD.2006.15","DOI":"10.1109\/ACSD.2006.15"},{"key":"26_CR10","unstructured":"Kummer, O., Wienberg, F., Duvigneau, M., Cabac, L.: Renew \u2013 User Guide, University of Hamburg, Department for Informatics, Theoretical Foundations Group, Release 2.2, (August 28, 2009)"},{"key":"26_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-3-540-69100-6_5","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"D.A. Sadilek","year":"2008","unstructured":"Sadilek, D.A., Wachsmuth, G.: Prototyping Visual Interpreters and Debuggers for Domain-Specific Modelling Languages. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS, vol.\u00a05095, pp. 63\u201378. Springer, Heidelberg (2008)"},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"Moutinho, F., Gomes, L.: From models to controllers integrating graphical animation in FPGA through automatic code generation. In: IEEE International Symposium on Industrial Electronics (ISlE 2009), Seoul Olympic Parktel, Seoul, Korea, July 5-8 (2009)","DOI":"10.1109\/ISIE.2009.5218315"},{"key":"26_CR13","doi-asserted-by":"crossref","unstructured":"Moutinho, F., Pereira, F., Gomes, L.: Automatic Generation of Graphical User Interfaces for VHDL based Controllers. In: ISIE 2011 \u2013 20th IEEE International Symposium on Industrial Electronics, Gdansk, Poland, June 27-30, pp. 1491\u20131496 (2011), doi:10.1109\/ISIE.2011.5984381, ISBN: 978-1-4244-9312-8","DOI":"10.1109\/ISIE.2011.5984381"},{"key":"26_CR14","doi-asserted-by":"crossref","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 Verlag New York, New York (1985)"}],"container-title":["IFIP Advances in Information and Communication Technology","Technological Innovation for the Internet of Things"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37291-9_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,12]],"date-time":"2019-07-12T11:28:19Z","timestamp":1562930899000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-37291-9_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642372902","9783642372919"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37291-9_26","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2013]]}}}