{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T04:20:12Z","timestamp":1747887612892,"version":"3.41.0"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319167657"},{"type":"electronic","value":"9783319167664"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-16766-4_16","type":"book-chapter","created":{"date-parts":[[2015,3,29]],"date-time":"2015-03-29T00:00:49Z","timestamp":1427587249000},"page":"147-156","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Analysis and Generation of Logical Signals for Discrete Events Behavioral Modeling"],"prefix":"10.1007","author":[{"given":"Rog\u00e9rio","family":"Campos-Rebelo","sequence":"first","affiliation":[]},{"given":"Anik\u00f3","family":"Costa","sequence":"additional","affiliation":[]},{"given":"Luis","family":"Gomes","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,3,28]]},"reference":[{"key":"16_CR1","unstructured":"Object management group. http:\/\/www.omg.org\/"},{"key":"16_CR2","unstructured":"Statecharts, H.D.: A visual formalism for complex systems. Sci. Comput. Program. 8(3), 231\u201374 (1987)"},{"key":"16_CR3","unstructured":"B\u00f6rger, E., St\u00e4rk, R.F.: Abstract State Machines: A Method for High-level System Design and Analysis. Springer, Heidelberg (2003). http:\/\/books.google.pt\/books?id=Am43BAC06L8C"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Jensen, K.: High-level petri nets. In: Pagnoni, A., Rozenberg, G. (eds.) Appl. Theory Petri Nets SE \u2013 12, pp. 166\u2013180. Springer, Heidelberg (1983). http:\/\/dx.doi.org\/10.1007\/978-3-642-69028-0_12","DOI":"10.1007\/978-3-642-69028-0_12"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Reisig, W., Berlin, H.: Distributed Algorithms: Modeling and Analysis with Petri Nets W, pp. 38\u201343. Reisig Institut fur Informatik Humboldt-Universitat (1998)","DOI":"10.1109\/ICSMC.1998.725380"},{"issue":"6","key":"16_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. IEEE Trans. Ind. Electron. 41(6), 567\u2013583 (1994)","journal-title":"IEEE Trans. Ind. Electron."},{"key":"16_CR7","unstructured":"Bruns, R., Dunkel, J.: Event-Driven Architecture. Springer London, Limited (2010). http:\/\/books.google.pt\/books?id=BtsfBAAAQBAJ"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Eckert, M., Bry, F.: Complex Event Processing (CEP). Informatik-Spektrum 32(2), 163\u2013167 (2009). http:\/\/dx.doi.org\/10.1007\/s00287-009-0329-6","DOI":"10.1007\/s00287-009-0329-6"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Luckham, D.C.: The power of events: An introduction to complex event processing in distributed enterprise systems. In: Bassiliades, N., Governatori, G., Paschke, A. (eds.) RuleML 2008. LNCS, vol. 5321, p. 3. Springer, Heidelberg (2008). http:\/\/dx.doi.org\/10.1007\/978-3-540-88808-6_2","DOI":"10.1007\/978-3-540-88808-6_2"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Zang, C., Fan, Y.: Complex event processing in enterprise information systems based on RFID. Enterp. Inf. Syst. 1(1), 3\u201323 (2007). http:\/\/dx.doi.org\/10.1080\/17517570601092127","DOI":"10.1080\/17517570601092127"},{"key":"16_CR11","unstructured":"Luckham, D.C.: Rapide: A language and toolset for simulation of distributed systems by partial orderings of events. Computer Systems Laboratory (1996). http:\/\/books.google.pt\/books?id=AWamHAAACAAJ"},{"key":"16_CR12","unstructured":"Luckham, D.C., Kenney, J.J., Augustin, L.M., Vera, J., Bryan, D., Mann, W.: Specification and analysis of system architecture using Rapide. IEEE Trans. Softw. Eng. 21(4), 336\u2013354 (1995)"},{"key":"16_CR13","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-319-08491-6_4","volume-title":"Human-Computer Systems Interaction: Backgrounds and Applications 3","author":"R Campos-Rebelo","year":"2014","unstructured":"Campos-Rebelo, R., Costa, A., Gomes, L.: Enhanced event modeling for human-system interactions using IOPT petri nets. In: Hippe, Z.S., Kulikowski, J.L., Mroczek, T., Wtorek, J. (eds.) Human-Computer Systems Interaction: Backgrounds and Applications 3. AISC, vol. 300, pp. 39\u201350. Springer, Heidelberg (2014)"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Campos-Rebelo, R., Costa, A., Gomes, L.: Elementary events for modeling of human-system interactions with petri net models. In: Camarinha-Matos, L.M., Barrento, N.S., Mendon\u00e7a, R. (eds.) DoCEIS 2014. IFIP AICT, vol. 423, pp. 219\u2013226. Springer, Heidelberg (2014). http:\/\/dx.doi.org\/10.1007\/978-3-642-54734-8_25","DOI":"10.1007\/978-3-642-54734-8_25"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"Campos-Rebelo, R., Costa, A., Gomes, L.: Output events for human-system interaction modeling. In: 2014 7th Int. Conf. Hum. Syst. Interact. (HSI), pp. 261\u2013266 (2014)","DOI":"10.1109\/HSI.2014.6860486"}],"container-title":["IFIP Advances in Information and Communication Technology","Technological Innovation for Cloud-Based Engineering Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-16766-4_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T18:11:15Z","timestamp":1747851075000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-16766-4_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319167657","9783319167664"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-16766-4_16","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"28 March 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}