{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,3]],"date-time":"2025-03-03T05:44:54Z","timestamp":1740980694358,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"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_27","type":"book-chapter","created":{"date-parts":[[2011,2,12]],"date-time":"2011-02-12T04:04:56Z","timestamp":1297483496000},"page":"246-255","source":"Crossref","is-referenced-by-count":2,"title":["Automatic Generation of Run-Time Monitoring Capabilities to Petri Nets Based Controllers with Graphical User Interfaces"],"prefix":"10.1007","author":[{"given":"Fernando","family":"Pereira","sequence":"first","affiliation":[]},{"given":"Luis","family":"Gomes","sequence":"additional","affiliation":[]},{"given":"Filipe","family":"Moutinho","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","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":"27_CR2","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":"27_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":"27_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/3-540-44919-1_31","volume-title":"Applications and Theory of Petri Nets 2003","author":"J. Billington","year":"2003","unstructured":"Billington, J., Christensen, S., van Hee, K.M., Kindler, E., Kummer, O., Petrucci, L., Post, R., Stehno, C., Weber, M.: The Petri Net Markup Language: Concepts, Technology, and Tools. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 483\u2013505. Springer, Heidelberg (2003)"},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"Coolahan, J., Roussopoulos, N.: Timing requirements for time-driven systems using augmented Petri nets. IEEE Transactions on Software Engineering, 603\u2013616 (September 1983)","DOI":"10.1109\/TSE.1983.235261"},{"key":"27_CR6","first-page":"216","volume-title":"Proceedings of the 8th International Workshop on Software Technology and Engineering Practice (STEP 1997) (Including CASE 1997)","author":"R. Esser","year":"1997","unstructured":"Esser, R.: An object oriented Petri net language for embedded system design. In: Proceedings of the 8th International Workshop on Software Technology and Engineering Practice (STEP 1997) (Including CASE 1997), p. 216. IEEE Computer Society, Washington, DC (1997)"},{"key":"27_CR7","doi-asserted-by":"crossref","unstructured":"Chachkov, S., Buchs, D.: From an abstract object-oriented model to a ready-to-use embedded system controller. In: 12th International Workshop on Rapid System Prototyping, Monterey, CA, pp. 142\u2013148 (June 2001)","DOI":"10.1109\/IWRSP.2001.933852"},{"key":"27_CR8","series-title":"Basic Concepts","doi-asserted-by":"crossref","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":"27_CR9","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":"27_CR10","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Ermel, C., Taentzer, G.: Simulation and animation of visual models of embedded systems. In: 7th International Workshop on Embedded Systems Modeling Technology, and Applications, pp. 11\u201320 (June 2006)","DOI":"10.1007\/1-4020-4933-1_2"},{"key":"27_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/11767589_26","volume-title":"Petri Nets and Other Models of Concurrency - ICATPN 2006","author":"M. Westergaard","year":"2006","unstructured":"Westergaard, M., Lassen, K.B.: The Britney suite animation tool. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol.\u00a04024, pp. 431\u2013440. Springer, Heidelberg (2006)"},{"key":"27_CR12","doi-asserted-by":"crossref","unstructured":"Jorgensen, J.B.: Addressing problem frame concerns via Coloured Petri nets and graphical animation. In: 2006 International Workshop on Advances and Applications of Problem Frames, pp. 49\u201358 (May 2006)","DOI":"10.1145\/1138670.1138679"},{"key":"27_CR13","doi-asserted-by":"crossref","unstructured":"Chachkov, S., Buchs, D.: From an abstract object-oriented model to a ready-to-use embedded system controller. In: 12th International Workshop on Rapid System Prototyping, Monterey, CA, pp. 142\u2013148 (June 2001)","DOI":"10.1109\/IWRSP.2001.933852"},{"key":"27_CR14","doi-asserted-by":"crossref","unstructured":"Nascimento, P., Maciel, P., Lima, M., Santana, R., Filho, A.: A partial reconfigurable architecture for controllers based on Petri nets. In: 17th Symposium on Integrated Circuits and System Design, pp. 16\u201321 (September 2004)","DOI":"10.1145\/1016568.1016581"},{"key":"27_CR15","unstructured":"Costa, A., Gomes, L., Barros., J.P., Oliveira, J., Reis, T.: Petri nets tools framework supporting FPGA-based controller implementations. In: 34th Annual Conference of IEEE Industrial Electronics, IECON 2008, pp. 2477\u20132482 (2008), doi:10.1109\/IECON.2008"},{"key":"27_CR16","doi-asserted-by":"crossref","unstructured":"Gomes, L., Barros, J.P., Costa, A., Pais, R., Moutinho, F.: Towards usage of formal methods within embedded systems co-design. In: 10th IEEE Conference on Emerging Technologies and Factory Automation, ETFA 2005, September 19-22, vol.\u00a01, p. 4, p. 284 (2005), doi:10.1109\/ETFA.2005.1612535","DOI":"10.1109\/ETFA.2005.1612535"},{"key":"27_CR17","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, New York (1985)"},{"key":"27_CR18","volume-title":"XSLT","author":"D. Tidwell","year":"2001","unstructured":"Tidwell, D.: XSLT. O\u2019Reilly, Sebastopol (2001) ISBN 978-0-596-00053-0"},{"key":"27_CR19","unstructured":"ISO\/IEC JTC1\/SC7 N3298, ISO\/IEC (2005)"}],"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_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,2]],"date-time":"2025-03-02T15:41:03Z","timestamp":1740930063000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19170-1_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642191695","9783642191701"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19170-1_27","relation":{},"ISSN":["1868-4238","1861-2288"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1861-2288"}],"subject":[],"published":{"date-parts":[[2011]]}}}