{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T11:45:52Z","timestamp":1742989552458,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030143497"},{"type":"electronic","value":"9783030143503"}],"license":[{"start":{"date-parts":[[2019,3,16]],"date-time":"2019-03-16T00:00:00Z","timestamp":1552694400000},"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":[[2020]]},"DOI":"10.1007\/978-3-030-14350-3_8","type":"book-chapter","created":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T16:54:11Z","timestamp":1552668851000},"page":"139-154","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Graphical Formalism for Signal Interpretation Modeling"],"prefix":"10.1007","author":[{"given":"R.","family":"Campos-Rebelo","sequence":"first","affiliation":[]},{"given":"A.","family":"Costa","sequence":"additional","affiliation":[]},{"given":"L.","family":"Gomes","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,3,16]]},"reference":[{"key":"8_CR1","unstructured":"F.W. Kistermann, The invention and development of the hollerith punched card: in commemoration of the 130th anniversary of the birth of Herman Hollerith and for the 100th anniversary of large scale data processing. Ann. Hist. Comput. 13(3), 245\u2013259 (1991)"},{"key":"8_CR2","unstructured":"MDA, The Architecture of Choice for a Changing World (2018). Available \n                  http:\/\/www.omg.org\/mda\/\n                  \n                 (Online)"},{"issue":"3","key":"8_CR3","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"D. Harel, Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8(3), 231\u2013274 (1987)","journal-title":"Sci. Comput. Program."},{"key":"8_CR4","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":"E. B\u00f6rger, R.F. St\u00e4rk, Abstract State Machines: A Method for High-level System Design and Analysis, vol. 14 (Springer, Berlin, 2003)"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"K. Jensen, High-level petri nets, in Applications and Theory of Petri Nets (Springer, 1983), pp. 166\u2013180","DOI":"10.1007\/978-3-642-69028-0_12"},{"key":"8_CR6","unstructured":"W. Reisig, H. Berlin, Distributed Algorithms: Modeling and Analysis with Petri Nets (W. Reisig Institut fur Informatik Humboldt-Universitat, 1998) pp. 38\u201343"},{"issue":"6","key":"8_CR7","doi-asserted-by":"publisher","first-page":"567","DOI":"10.1109\/41.334574","volume":"41","author":"R Zurawski","year":"1994","unstructured":"R. Zurawski, Z. MengChu, Petri nets and industrial applications: a tutorial. Ind. Electron. IEEE Trans. 41(6), 567\u2013583 (1994)","journal-title":"Ind. Electron. IEEE Trans."},{"key":"8_CR8","unstructured":"L. Gomes, J.P. Barros, A. Costa, R. Nunes, The input-output place-transition petri net class and associated tools, in 2007 5th IEEE International Conference on Industrial Informatics, vol. 1 (2007), pp. 509\u2013514"},{"key":"8_CR9","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/3-540-65306-6_15","volume-title":"Lectures on Petri Nets I: Basic Models","author":"J Desel","year":"1998","unstructured":"J. Desel, W. Reisig, Place\/transition petri nets, in Lectures on Petri Nets I: Basic Models, vol. 1491, ed. by W. Reisig, G. Rozenberg (Springer, Berlin, 1998), pp. 122\u2013173"},{"key":"8_CR10","unstructured":"R. David, H. Alla, Petri Nets and Grafcet: Tools for Modelling Discrete Event Systems (Prentice Hall, 1992)"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"L. Gomes, J.P. Barros, Structuring and composability issues in petri nets modeling. IEEE Trans. Ind. Inform. 1(2), 112\u2013123 (2005)","DOI":"10.1109\/TII.2005.844433"},{"key":"8_CR12","unstructured":"J.-P. P. Barros, L. Gomes, Net model composition and modification by net operations: a pragmatic approach, in 2004 2nd IEEE International Conference on Industrial Informatics, 2004. INDIN \u201904 (2004), pp. 309\u2013314"},{"key":"8_CR13","unstructured":"A. Costa, L. Gomes, Petri net partitioning using net splitting operation, in 7th IEEE International Conference on Industrial Informatics, 2009. INDIN 2009 (2009), pp. 204\u2013209"},{"key":"8_CR14","unstructured":"D. Luckham, The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems (Addison Wesley Publishing Company Incorporated, 2013)"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"C. Zang, Y. Fan, Complex event processing in enterprise information systems based on RFID. Enterp. Inf. Syst., 1(1), 3\u201323 (2007)","DOI":"10.1080\/17517570601092127"},{"key":"8_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02439-9","volume-title":"Event-Driven Architecture","author":"R Bruns","year":"2010","unstructured":"R. Bruns, J. Dunkel, Event-Driven Architecture (Springer, London, 2010)"},{"issue":"6","key":"8_CR17","doi-asserted-by":"publisher","first-page":"1867","DOI":"10.1109\/TIP.2015.2413294","volume":"24","author":"Y Yan","year":"2015","unstructured":"Y. Yan, Y. Yang, D. Meng, G. Liu, W. Tong, A.G. Hauptmann, N. Sebe, Event oriented dictionary learning for complex event detection. Image Process. IEEE Trans. 24(6), 1867\u20131878 (2015)","journal-title":"Image Process. IEEE Trans."},{"key":"8_CR18","unstructured":"D.C. Luckham, B. Frasca, Complex event processing in distributed systems, vol. 28. Computer System Laboratory, Technical Report, CSL-TR-98-754 (Stanford University, Stanford, 1998)"},{"key":"8_CR19","unstructured":"H. Taylor, A. Yochem, L. Phillips, F. Martinez, Event-Driven Architecture: How SOA Enables the Real-Time Enterprise (Pearson Education, 2009)"},{"issue":"5","key":"8_CR20","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1109\/MIS.2009.90","volume":"24","author":"S Overbeek","year":"2009","unstructured":"S. Overbeek, B. Klievink, M. Janssen, A flexible, event-driven, service-oriented architecture for orchestrating service delivery. Intell. Syst. IEEE 24(5), 31\u201341 (2009)","journal-title":"Intell. Syst. IEEE"},{"key":"8_CR21","volume-title":"Rapide: A Language and Toolset for Simulation of Distributed Systems by Partial Orderings of Events","author":"DC Luckham","year":"1996","unstructured":"D.C. Luckham, Rapide: A Language and Toolset for Simulation of Distributed Systems by Partial Orderings of Events (Computer Systems Laboratory, Stanford University, 1996)"},{"issue":"4","key":"8_CR22","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1109\/32.385971","volume":"21","author":"DC Luckham","year":"1995","unstructured":"D.C. Luckham, J.J. Kenney, L.M. Augustin, J. Vera, D. Bryan, W. Mann, Specification and analysis of system architecture using Rapide. Softw. Eng. IEEE Trans. 21(4), 336\u2013354 (1995)","journal-title":"Softw. Eng. IEEE Trans."},{"issue":"9","key":"8_CR23","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1109\/32.464548","volume":"21","author":"DC Luckham","year":"1995","unstructured":"D.C. Luckham, J. Vera, An event-based architecture definition language. Softw. Eng. IEEE Trans. 21(9), 717\u2013734 (1995)","journal-title":"Softw. Eng. IEEE Trans."},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"R. Campos-Rebelo, A. Costa, L. Gomes, Enhanced Event Modeling for Human-System Interactions Using IOPT Petri Nets, vol. 300 (2014)","DOI":"10.1007\/978-3-319-08491-6_4"},{"key":"8_CR25","unstructured":"R. Campos-Rebelo, A. Costa, L. Gomes, Event life time in detection of sequences of events, in Proceedings of the IEEE International Conference on Industrial Technology (2015), pp. 3144\u20133149"}],"container-title":["Topics in Intelligent Engineering and Informatics","Recent Advances in Intelligent Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-14350-3_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T05:49:24Z","timestamp":1558417764000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-14350-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,3,16]]},"ISBN":["9783030143497","9783030143503"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-14350-3_8","relation":{},"ISSN":["2193-9411","2193-942X"],"issn-type":[{"type":"print","value":"2193-9411"},{"type":"electronic","value":"2193-942X"}],"subject":[],"published":{"date-parts":[[2019,3,16]]},"assertion":[{"value":"16 March 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}