{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T17:03:04Z","timestamp":1759683784084,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,7]]},"DOI":"10.1109\/indin.2012.6301058","type":"proceedings-article","created":{"date-parts":[[2012,9,17]],"date-time":"2012-09-17T16:46:11Z","timestamp":1347900371000},"page":"380-385","source":"Crossref","is-referenced-by-count":12,"title":["Formal modelling of Complex Event Processing: A generic algorithm and its application to a manufacturing line"],"prefix":"10.1109","author":[{"given":"Waheed","family":"Ahmad","sequence":"first","affiliation":[]},{"given":"Andrei","family":"Lobov","sequence":"additional","affiliation":[]},{"given":"Jose L. Martinez","family":"Lastra","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.109"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/ICNS.2009.79"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ICIET.2010.5625672"},{"journal-title":"Festo Modular Production System MPS200","year":"0","key":"15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/MPRV.2009.43"},{"key":"13","doi-asserted-by":"crossref","first-page":"282","DOI":"10.1007\/3-540-56863-8_52","article-title":"Analysis of Place\/Transition Nets with timed arcs and its application to batch process control","volume":"691","author":"hanisch","year":"1993","journal-title":"Lecture Notes in Computer Science"},{"key":"14","article-title":"Modeling PLC of Timed Net Condition\/Event systems","author":"hanisch","year":"0","journal-title":"Proceedings of 6th Conference on Emerging Technologies and Factory Automation Los Angeles USA September 1997"},{"journal-title":"\"Reference Documentation Version 4 4 0\" [Online]","year":"2011","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.1995.496811"},{"key":"3","article-title":"Research and design on the refinery ERP and EERP sased on SOA and the component oriented technology","author":"li","year":"0","journal-title":"Proceedings of International Conference on Netwrokign and Digital Society Guizhou China May 2009"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2005.862144"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2008.4638396"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/IPMM.1999.791529"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ETCS.2010.214"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2005.1560426"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/EDOC.2007.41"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/SoCPaR.2009.37"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/RCIS.2010.5507380"},{"key":"9","article-title":"A semantic design pattern language for complex event processing","author":"paschke","year":"0","journal-title":"AAAI Spring Symposium 2009"},{"key":"8","article-title":"An extensible event-driven manufacturing management with complex event processing approach","volume":"2","author":"zhang","year":"2009","journal-title":"International Journal of Control and Automation"}],"event":{"name":"2012 10th IEEE International Conference on Industrial Informatics (INDIN)","start":{"date-parts":[[2012,7,25]]},"location":"Beijing, China","end":{"date-parts":[[2012,7,27]]}},"container-title":["IEEE 10th International Conference on Industrial Informatics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6294017\/6300337\/06301058.pdf?arnumber=6301058","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T20:20:44Z","timestamp":1497990044000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6301058\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/indin.2012.6301058","relation":{},"subject":[],"published":{"date-parts":[[2012,7]]}}}