{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:17:07Z","timestamp":1740097027524,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"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_25","type":"book-chapter","created":{"date-parts":[[2014,4,2]],"date-time":"2014-04-02T12:03:40Z","timestamp":1396440220000},"page":"219-226","source":"Crossref","is-referenced-by-count":2,"title":["Elementary Events for Modeling of Human-System Interactions with Petri Net Models"],"prefix":"10.1007","author":[{"given":"Rog\u00e9rio","family":"Campos-Rebelo","sequence":"first","affiliation":[]},{"given":"Anik\u00f3","family":"Costa","sequence":"additional","affiliation":[]},{"given":"Lu\u00eds","family":"Gomes","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"25_CR1","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/s00287-009-0329-6","volume":"32","author":"M. Eckert","year":"2009","unstructured":"Eckert, M., Bry, F.: Complex Event Processing (CEP). Informatik-Spektrum\u00a032(2), 163\u2013167 (2009), \n                    \n                      http:\/\/dx.doi.org\/10.1007\/s00287-009-0329-6","journal-title":"Informatik-Spektrum"},{"issue":"3","key":"25_CR2","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"H.D. Statecharts","year":"1987","unstructured":"Statecharts, H.D.: A visual formalism for complex systems. Sci. Comput. Program\u00a08(3), 231\u2013274 (1987)","journal-title":"Sci. Comput. Program"},{"key":"25_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract state machines: a method for high-level system design and analysis","author":"E. B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract state machines: a method for high-level system design and analysis. Springer, Heidelberg (2003)"},{"key":"25_CR4","unstructured":"Petri CA. Kommunikation mit Automaten (Communication with Automata) Hamburg (1962), \n                    \n                      http:\/\/edoc.sub.uni-hamburg.de\/informatik\/volltexte\/2011\/160"},{"issue":"3","key":"25_CR5","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1145\/356698.356702","volume":"9","author":"J. Peterson","year":"1977","unstructured":"Peterson, J.: Petri Nets. ACM Comput. Surv.\u00a09(3), 223\u2013252 (1977)","journal-title":"ACM Comput. Surv."},{"issue":"6","key":"25_CR6","doi-asserted-by":"publisher","first-page":"567","DOI":"10.1109\/41.334574","volume":"41","author":"R. Zurawski","year":"1994","unstructured":"Zurawski, R., MengChu, Z.: Petri nets and industrial applications: A tutorial. Ind. Electron IEEE Trans.\u00a041(6), 567\u2013583 (1994)","journal-title":"Ind. Electron IEEE Trans."},{"issue":"4","key":"25_CR7","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. Proc. IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"key":"25_CR8","unstructured":"Gomes, L., Barros, J.P., Costa, A.: Modeling Formalisms for Embedded Systems Design. In: Zurawski, R. (ed.) Embed. Syst. Handb. (2005)"},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"Moussa, F., Riahi, M., Kolski, C., Moalla, M.: Interpreted Petri Nets used for Human-Machine Dialogue Specification in Process Control: principles and application to the Ergo-Conceptor+ tool. Integr. Comput. Aided Eng., 87\u201398 (2002)","DOI":"10.3233\/ICA-2002-9106"},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"Moalla, M., Pulou, J., Sifakis, J.: Synchronized petri nets: A model for the description of non-autonomous sytems. Math. Found. Comput. Sci., 374\u2013384 (1978)","DOI":"10.1007\/3-540-08921-7_85"},{"key":"25_CR11","doi-asserted-by":"crossref","unstructured":"Gomes, L., Barros, J.P., Costa, A., Nunes, R.: The Input-Output Place-Transition Petri Net Class and Associated Tools. In: 5th IEEE Int. Conf. on Ind. Informatics, pp. 509\u2013514 (2007)","DOI":"10.1109\/INDIN.2007.4384809"},{"key":"25_CR12","series-title":"IFIP AICT","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-642-37291-9_25","volume-title":"Technological Innovation for the Internet of Things","author":"R. Campos-Rebelo","year":"2013","unstructured":"Campos-Rebelo, R., Costa, A., Gomes, L.: On structuring events for IOPT net models. In: Camarinha-Matos, L.M., Tomic, S., Gra\u00e7a, P. (eds.) DoCEIS 2013. IFIP AICT, vol.\u00a0394, pp. 229\u2013238. Springer, Heidelberg (2013)"}],"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_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T10:10:48Z","timestamp":1558865448000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54734-8_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642547331","9783642547348"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54734-8_25","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2014]]}}}