{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T15:48:19Z","timestamp":1759938499923},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/etfa.2015.7301430","type":"proceedings-article","created":{"date-parts":[[2015,10,26]],"date-time":"2015-10-26T18:21:19Z","timestamp":1445883679000},"page":"1-8","source":"Crossref","is-referenced-by-count":11,"title":["Model driven engineering of manufacturing execution systems using a formal specification"],"prefix":"10.1109","author":[{"given":"Benedikt","family":"Weissenberger","sequence":"first","affiliation":[]},{"given":"Stefan","family":"Flad","sequence":"additional","affiliation":[]},{"given":"Xinyu","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Susanne","family":"Rosch","sequence":"additional","affiliation":[]},{"given":"Tobias","family":"Voigt","sequence":"additional","affiliation":[]},{"given":"Birgit","family":"Vogel-Heuser","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1049\/iet-sen.2011.0080"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2010.5641319"},{"year":"2014","key":"ref12"},{"key":"ref13","article-title":"Formal MES modeling framework - Integration of different views","author":"witsch","year":"2011","journal-title":"Proc IFAC World Congr"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.67"},{"key":"ref15","article-title":"Spezifikation und Anwendung einer Modellierungssprache für die Automatisierungstechnik auf Basis der Unified Modeling Language (UML)","author":"katzke","year":"2008","journal-title":"University of Kassel"},{"year":"2014","key":"ref16"},{"year":"2014","key":"ref17"},{"key":"ref18","article-title":"Petri Nets for Systems Engineering-A Guide to Modeling","author":"girault","year":"2003","journal-title":"Verification and Applications"},{"key":"ref19","article-title":"Weihenstephan Standards for the Production Data Acquisition in Bottling Plants: Part 1: Physical Interface Specification, Part 2: Content Specification of the Interface, Part 3: Data Evaluation and Reporting, Part 4: Inspection and Safe Operation","author":"kather","year":"2010","journal-title":"TUM Lehrstuhl für Lebensmittelverpackungstechnik"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2014.7005087"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1524\/auto.2011.0936"},{"key":"ref6","article-title":"Funktionale Spezifikation von MES im Spannungsfeld zwischen IT, Geschaftsprozess und Produktion","author":"witsch","year":"2013","journal-title":"Technische Unversitat Munchen"},{"key":"ref5","article-title":"Automatic generation of manufacturing execution systems in the food and beverage industry","author":"flad","year":"2014","journal-title":"4th International Young Scientist Symposium on malting brewing and destilling"},{"year":"2005","key":"ref8","article-title":"Models of Manufacturing Operations Management"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2012.2186585"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ISCID.2012.216"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2011.2167155"},{"journal-title":"Batch Control Part 1 Models and Terminology","article-title":"Instrumentation, Systems and Automation Society, ANSI\/ISA-88.00.01-2010","year":"2010","key":"ref9"},{"article-title":"Technology Brewing and Malting","year":"0","author":"kunze","key":"ref20"}],"event":{"name":"2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA)","start":{"date-parts":[[2015,9,8]]},"location":"Luxembourg, Luxembourg","end":{"date-parts":[[2015,9,11]]}},"container-title":["2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7295717\/7301399\/07301430.pdf?arnumber=7301430","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T22:33:46Z","timestamp":1490394826000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7301430\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/etfa.2015.7301430","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}