{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T23:09:27Z","timestamp":1725577767088},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642191695"},{"type":"electronic","value":"9783642191701"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-19170-1_25","type":"book-chapter","created":{"date-parts":[[2011,2,12]],"date-time":"2011-02-12T04:04:56Z","timestamp":1297483496000},"page":"227-236","source":"Crossref","is-referenced-by-count":7,"title":["Towards Statecharts to Input-Output Place Transition Nets Transformations"],"prefix":"10.1007","author":[{"given":"Rui","family":"Pais","sequence":"first","affiliation":[]},{"given":"Lu\u00eds","family":"Gomes","sequence":"additional","affiliation":[]},{"given":"Jo\u00e3o Paulo","family":"Barros","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"25_CR1","unstructured":"Engels, G.: Keynote: Automatic generation of behavioral code - too ambitious or even unwanted?, Behaviour Modelling in Model Driven Architecture. In: Proceedings of First European Workshop on Behaviour Modelling in Model Driven Architecture (BM-MDA), Enschede, The Netherlands, June 23 (2009)"},{"issue":"3","key":"25_CR2","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming\u00a08(3), 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"key":"25_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Mathematical Foundations of Computer Science 1978","author":"M. Moalla","year":"1978","unstructured":"Moalla, M., Pulou, J., Sifakis, J.: Synchronized Petri nets: A model for the description of non-autonomous systems. In: Winkowski, J. (ed.) MFCS 1978. LNCS, vol.\u00a064, Springer, Heidelberg (1978)"},{"key":"25_CR4","volume-title":"Petri Nets & Grafcet; Tools for Modelling Discrete Event Systems","author":"R. David","year":"1992","unstructured":"David, R., Alla, H.: Petri Nets & Grafcet; Tools for Modelling Discrete Event Systems. Prentice Hall International, UK (1992)"},{"key":"25_CR5","volume-title":"Las Redes de Petri: en la Autom\u00e1tica y la Inform\u00e1tica","author":"M. Silva","year":"1985","unstructured":"Silva, M.: Las Redes de Petri: en la Autom\u00e1tica y la Inform\u00e1tica. Edit. AC, Madrid (1985)"},{"key":"25_CR6","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 (2007)","DOI":"10.1109\/INDIN.2007.4384809"},{"key":"25_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/3-540-45832-8_19","volume-title":"Graph Transformation","author":"J. Lara de","year":"2002","unstructured":"de Lara, J., Vangheluwe, H.: Computer Aided Multi-Paradigm Modelling to Process Petri-Nets and Statecharts. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol.\u00a02505, pp. 239\u2013253. Springer, Heidelberg (2002)"},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Carneiro, E., Maciel, P., et al.: Mapping SysML State Machine Diagram to Time Petri Net for Analysis and Verification of Embedded Real-Time Systems with Energy Constraints. In: Proceedings of the 2008 International Conference on Advances in Electronics and Micro-Electronics, pp. 1\u20136 (2008) ISBN:978-0-7695-3370-4","DOI":"10.1109\/ENICS.2008.19"},{"key":"25_CR9","unstructured":"Gomes, L.: As Redes de Petri Reactivas e Hier\u00e1rquicas - integra\u00e7\u00e3o de formalismos no projecto de sistemas reactivos de tempo-real (in Portuguese); PhD Thesis, UNL-FCT (1997), \n                    \n                      http:\/\/hdl.handle.net\/10362\/2560"},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"Moutinho, F., Gomes, L., Ramalho, F., Figueiredo, J., Barros, J.P., Barbosa, P., Pais, R., Costa, A.: Ecore Representation for Extending PNML for Input-Output Place-Transition Nets. In: 36th Annual Conference of the IEEE Industrial Electronics Society, IECON 2010, Phoenix, AZ, USA, November 7-10 (2010)","DOI":"10.1109\/IECON.2010.5675332"},{"key":"25_CR11","unstructured":"Sandborn, P., Myers, J.: Designing Engineering Systems for Sustainability, CALCE, Department of Mechanical Engineering. University of Maryland, \n                    \n                      http:\/\/www.enme.umd.edu\/ESCML\/Papers\/SustainmentChapter.pdf"}],"container-title":["IFIP Advances in Information and Communication Technology","Technological Innovation for Sustainability"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19170-1_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:14:23Z","timestamp":1606187663000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19170-1_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642191695","9783642191701"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19170-1_25","relation":{},"ISSN":["1868-4238","1861-2288"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1861-2288"}],"subject":[],"published":{"date-parts":[[2011]]}}}