{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T04:40:06Z","timestamp":1751604006498,"version":"3.41.0"},"reference-count":33,"publisher":"Walter de Gruyter GmbH","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,5,25]]},"abstract":"<jats:title>Zusammenfassung<\/jats:title><jats:p>Dieser Beitrag beschreibt eine Methode f\u00fcr das Engineering von Abh\u00e4ngigkeiten zwischen Services, die ein Modul einer Produktionsanlage in der Prozessindustrie anbietet. Hierzu wird eine Serviceabh\u00e4ngigkeitsmatrix eingef\u00fchrt, die beim Engineering eines Moduls genutzt werden kann, um die Abh\u00e4ngigkeiten zwischen Services festzulegen. Die Services werden jeweils als Petri-Netz beschrieben und durch die Abh\u00e4ngigkeiten in eine zusammenh\u00e4ngende Petri-Netz-Struktur \u00fcberf\u00fchrt. Zur effizienten Darstellung der Services und ihrer Abh\u00e4ngigkeiten wird, basierend auf dem PNML-Kernmodell, ein neuer Petri-Netz-Typ eingef\u00fchrt, die ServiceNets. Eine formale Analyse dieser Petri-Netze erlaubt die Verifikation u.\u2009a. hinsichtlich erreichbarer Zust\u00e4nde und Deadlock-Freiheit.<\/jats:p>","DOI":"10.1515\/auto-2017-0076","type":"journal-article","created":{"date-parts":[[2018,5,4]],"date-time":"2018-05-04T00:25:19Z","timestamp":1525393519000},"page":"418-437","source":"Crossref","is-referenced-by-count":3,"title":["Entwurf, Modellierung und Verifikation von Serviceabh\u00e4ngigkeiten in Prozessmodulen"],"prefix":"10.1515","volume":"66","author":[{"given":"Jan","family":"Ladiges","sequence":"first","affiliation":[{"name":"Helmut-Schmidt-Universit\u00e4t , Hamburg , Germany"}]},{"given":"Aljosha","family":"K\u00f6cher","sequence":"additional","affiliation":[{"name":"Helmut-Schmidt-Universit\u00e4t , Hamburg , Germany"}]},{"given":"Peer","family":"Clement","sequence":"additional","affiliation":[{"name":"Helmut-Schmidt-Universit\u00e4t , Hamburg , Germany"}]},{"given":"Henry","family":"Bloch","sequence":"additional","affiliation":[{"name":"Helmut-Schmidt-Universit\u00e4t , Hamburg , Germany"}]},{"given":"Thomas","family":"Holm","sequence":"additional","affiliation":[{"name":"WAGO Kontakttechnik GmbH & Co. KG , Minden , Germany"}]},{"given":"Paul","family":"Altmann","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Dresden , Dresden , Germany"}]},{"given":"Alexander","family":"Fay","sequence":"additional","affiliation":[{"name":"Helmut-Schmidt-Universit\u00e4t , Hamburg , Germany"}]},{"given":"Leon","family":"Urbas","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Dresden , Dresden , Germany"}]}],"member":"374","published-online":{"date-parts":[[2018,5,3]]},"reference":[{"key":"2023033119520603814_j_auto-2017-0076_ref_001_w2aab3b7ab1b6b1ab1b7b1Aa","unstructured":"CEFIC The European Chemical Industry Council: The european chemical industry \u2013 Facts and Figures. http:\/\/www.cefic.org\/Facts-and-Figures\/, 2014."},{"key":"2023033119520603814_j_auto-2017-0076_ref_002_w2aab3b7ab1b6b1ab1b7b2Aa","doi-asserted-by":"crossref","unstructured":"Bramsiepe, C.; Schembecker, G.: Die 50\u2009%-Idee: Modularisierung im Planungsprozess. Chemie Ingenieur Technik, Vol.\u200984(5), S.\u2009581\u2013587, 2012.10.1002\/cite.201100250","DOI":"10.1002\/cite.201100250"},{"key":"2023033119520603814_j_auto-2017-0076_ref_003_w2aab3b7ab1b6b1ab1b7b3Aa","doi-asserted-by":"crossref","unstructured":"M. Obst, T. Holm, S. Bleuel, U. Claussnitzer, L. Evertz, T. J\u00e4ger, T. Nekolla: Automatisierung im Life Cycle modularer Anlagen: Welche Ver\u00e4nderungen und Chancen sich ergeben. atp edition \u2013 Automatisierungstechnische Praxis (01\u201302), 2013, S.\u200924.","DOI":"10.17560\/atp.v55i01-02.234"},{"key":"2023033119520603814_j_auto-2017-0076_ref_004_w2aab3b7ab1b6b1ab1b7b4Aa","doi-asserted-by":"crossref","unstructured":"T. Holm: Aufwandsbewertung im Engineering modularer Prozessanlagen. Fortschritt-Berichte VDI-Reihe 20 Nr.\u2009465: Rechnerunterst\u00fctzte Verfahren. D\u00fcsseldorf: VDI Verlag 2016.","DOI":"10.51202\/9783186465207"},{"key":"2023033119520603814_j_auto-2017-0076_ref_005_w2aab3b7ab1b6b1ab1b7b5Aa","unstructured":"Forschungsunion\/acatech: Umsetzungsempfehlungen f\u00fcr das Zukunftsprojekt Industrie 4.0 \u2013 Abschlussbericht des Arbeitskreises Industrie 4.0., 2013."},{"key":"2023033119520603814_j_auto-2017-0076_ref_006_w2aab3b7ab1b6b1ab1b7b6Aa","unstructured":"DECHEMA e.V.: Modular Plants: Flexible chemical production by modularization and standardization \u2013 status quo and future trends, 2016."},{"key":"2023033119520603814_j_auto-2017-0076_ref_007_w2aab3b7ab1b6b1ab1b7b7Aa","doi-asserted-by":"crossref","unstructured":"J. Bernshausen, A. Haller, T. Holm, M. Hoernicke, M. Obst, J. Ladiges: Namur Modul Type Package \u2013 Definition: Beschreibungsmittel f\u00fcr die Automation modularer Anlagen. atp edition \u2013 Automatisierungstechnische Praxis, Vol.\u200958(1\u20132), 2016, S.\u200972\u201381.10.17560\/atp.v58i01-02.554","DOI":"10.17560\/atp.v58i01-02.554"},{"key":"2023033119520603814_j_auto-2017-0076_ref_008_w2aab3b7ab1b6b1ab1b7b8Aa","doi-asserted-by":"crossref","unstructured":"M. Hoernicke, T. Holm, A. Haller, J. Bernshausen, D. Schulz, T. Albers, C. Kotsch, M. Maurmaier, A. Stutz, H. Bloch, S. Hensel: Technologiebewertung zur Beschreibung f\u00fcr verfahrenstechnische Module \u2013 Ergebnisse des Namur AK 1.12.1. In: Kongress Automation 2016, Baden-Baden, 07.-08. Juni 2016.","DOI":"10.51202\/9783181022849-67"},{"key":"2023033119520603814_j_auto-2017-0076_ref_009_w2aab3b7ab1b6b1ab1b7b9Aa","doi-asserted-by":"crossref","unstructured":"T. Holm, M. Obst, J. Ladiges, L. Urbas, A. Fay, T. Albers, U. Hempen: Namur Modul Type Package \u2013 Implementierung: Anwendung des Namur-MTP f\u00fcr Prozessanlagen. atp edition \u2013 Automatisierungstechnische Praxis, Vol.\u200958(1\u20132), 2016, S.\u200972\u201381.","DOI":"10.17560\/atp.v58i01-02.554"},{"key":"2023033119520603814_j_auto-2017-0076_ref_010_w2aab3b7ab1b6b1ab1b7c10Aa","doi-asserted-by":"crossref","unstructured":"H. Bloch, S. Hensel, M. Hoernicke, K. Stark, A. Menschner, L. Urbas, A. Fay, T. Knohl, J. Bernshausen, A. Haller: Zustandsbasierte F\u00fchrung modularer Prozessanlagen. In: atp edition Ausgabe 10\/2017, Seite 46\u201357.","DOI":"10.17560\/atp.v59i10.1899"},{"key":"2023033119520603814_j_auto-2017-0076_ref_011_w2aab3b7ab1b6b1ab1b7c11Aa","doi-asserted-by":"crossref","unstructured":"H. Bloch, A. Fay, M. Hoernicke: Analysis of service-oriented architecture approaches suitable for modular process automation. IEEE International Conference on Emerging Technology & Factory Automation (ETFA 2016), Berlin, September 6\u20139, 2016.","DOI":"10.1109\/ETFA.2016.7733651"},{"key":"2023033119520603814_j_auto-2017-0076_ref_012_w2aab3b7ab1b6b1ab1b7c12Aa","doi-asserted-by":"crossref","unstructured":"H. Bloch, M. Hoernicke, S. Hensel, A. Hahn, A. Fay, L. Urbas, T. Knohl, J. Bernshausen: A Microservice-Based Architecture Approach for the Automation of Modular Process Plants. In: ETFA 22nd IEEE International Conference on Emerging Technologies And Factory Automation, September 12\u201315, 2017, Limassol, Cyprus.","DOI":"10.1109\/ETFA.2017.8247573"},{"key":"2023033119520603814_j_auto-2017-0076_ref_013_w2aab3b7ab1b6b1ab1b7c13Aa","unstructured":"DIN EN 61512-1. Chargenorientierte Fahrweise \u2013 Teil 1: Modelle und Terminologie, 2000."},{"key":"2023033119520603814_j_auto-2017-0076_ref_014_w2aab3b7ab1b6b1ab1b7c14Aa","doi-asserted-by":"crossref","unstructured":"H. Bloch, A. Fay, S. Hensel, A. Hahn, L. Urbas, S. Wassilew, M. Hoernicke, T. Knohl, J. Bernshausen, A. Haller: Model-based Engineering of CPPS in the process industries. In: IEEE 15th International Conference of Industrial Informatics INDIN\u20192017, July 24\u201326, 2017, Emden, Germany.","DOI":"10.1109\/INDIN.2017.8104936"},{"key":"2023033119520603814_j_auto-2017-0076_ref_015_w2aab3b7ab1b6b1ab1b7c15Aa","unstructured":"ANSI\/ISA-TR22.00.02-2015. Machine and Unit States: An implementation example of ANSI\/ISA-88.00.01, 2015."},{"key":"2023033119520603814_j_auto-2017-0076_ref_016_w2aab3b7ab1b6b1ab1b7c16Aa","doi-asserted-by":"crossref","unstructured":"T. Holm, J. Ladiges, S. Wassilew, P. Altmann, A. Fay, L. Urbas, U. Hempen: DIMA im realen Einsatz: Von der Idee zum Prototypen. In: Kongress Automation, Baden-Baden, 07.-08. Juni 2016.","DOI":"10.51202\/9783181022849-71"},{"key":"2023033119520603814_j_auto-2017-0076_ref_017_w2aab3b7ab1b6b1ab1b7c17Aa","unstructured":"IEC 62881 Ed. 1.0 (draft). Cause & Effect Table, 2016."},{"key":"2023033119520603814_j_auto-2017-0076_ref_018_w2aab3b7ab1b6b1ab1b7c18Aa","unstructured":"ISO\/IEC 15909-2. Systems and software engineering \u2013 High-level Petri nets \u2013 Part2: Transfer format, 2011."},{"key":"2023033119520603814_j_auto-2017-0076_ref_019_w2aab3b7ab1b6b1ab1b7c19Aa","doi-asserted-by":"crossref","unstructured":"W. Reisig, K. Schmidt, C. Stahl, Kommunizierende Workflow-Services modellieren und analysieren. Informatik \u2013 Forschung und Entwicklung, Vol.\u200920(1), 2005, S.\u200990\u2013101.10.1007\/s00450-005-0209-5","DOI":"10.1007\/s00450-005-0209-5"},{"key":"2023033119520603814_j_auto-2017-0076_ref_020_w2aab3b7ab1b6b1ab1b7c20Aa","unstructured":"S. Buchwald, T. Bauer, Modellierung von Service-Aufrufbeziehungen zwischen prozessorientierten Applikationen. EMISA Forum, Vol.\u200930(2), 2010, S.\u200932\u201348."},{"key":"2023033119520603814_j_auto-2017-0076_ref_021_w2aab3b7ab1b6b1ab1b7c21Aa","unstructured":"M. Becker, S. Klingner, Formalisierung von Regeln zur Darstellung von Abh\u00e4ngigkeiten zwischen Elementen von Product-Service-Systems. Universit\u00e4t Leipzig, 2012."},{"key":"2023033119520603814_j_auto-2017-0076_ref_022_w2aab3b7ab1b6b1ab1b7c22Aa","unstructured":"B. Heinrich; M. Klier, S. Zimmermann, Automatisierte Modellierung, Umsetzung und Ausf\u00fchrung von Prozessen \u2013 Ein Web Service-basiertes Konzept, Wirtschaftsinformatik Proceedings 2011."},{"key":"2023033119520603814_j_auto-2017-0076_ref_023_w2aab3b7ab1b6b1ab1b7c23Aa","unstructured":"C.\u2009M. MacKenzie, K. Laskey, F. McCabe, P.\u2009F. Brown, and R. Metz, Reference Model for Service Oriented Architecture 1.0., Stand vom 12. Oktober 2006. Verf\u00fcgbar: http:\/\/docs.oasis-open.org\/soa-rm\/v1.0\/soa-rm.html (5. Februar 2018)."},{"key":"2023033119520603814_j_auto-2017-0076_ref_024_w2aab3b7ab1b6b1ab1b7c24Aa","unstructured":"H. Cervantes, R.\u2009S. Hall, Automating service dependency management in a service-oriented component model. ICSE CBSE Workshop. 2003."},{"key":"2023033119520603814_j_auto-2017-0076_ref_025_w2aab3b7ab1b6b1ab1b7c25Aa","unstructured":"B. Li, Managing Dependencies in Component-Based Systems Based on Matrix Model. In: Proc. Of Net. Object. Days 2003, S.\u200922\u201325, 2003."},{"key":"2023033119520603814_j_auto-2017-0076_ref_026_w2aab3b7ab1b6b1ab1b7c26Aa","doi-asserted-by":"crossref","unstructured":"V. Dubinin, V. Vyatkin, T. Pfeiffer, Engineering of Validatable Automation Systems Based on an Extension of UML Combined With Function Blocks of IEC 61499, Proceedings of the IEEE International Conference on Robotics and Automation, 2005, pp.\u20093996\u20134001.","DOI":"10.1109\/ROBOT.2005.1570732"},{"key":"2023033119520603814_j_auto-2017-0076_ref_027_w2aab3b7ab1b6b1ab1b7c27Aa","doi-asserted-by":"crossref","unstructured":"C. Reichmann, P. Graf, K.\u2009D. M\u00fcller-Glaser, Automatisierte Modellkopplung heterogener eingebetteter Systeme. In: Holleczek P., Vogel-Heuser B. (Eds) Eingebettete Systeme. Informatik aktuell. Springer, Berlin, Heidelberg, 2004.","DOI":"10.1007\/978-3-642-18594-6_9"},{"key":"2023033119520603814_j_auto-2017-0076_ref_028_w2aab3b7ab1b6b1ab1b7c28Aa","unstructured":"O. Fengler, W. Fengler, V. Duridanova, Modeling of complex automation systems using colored State Charts, Proceedings of the IEEE International Conference on Robotics and Automation, 2002."},{"key":"2023033119520603814_j_auto-2017-0076_ref_029_w2aab3b7ab1b6b1ab1b7c29Aa","doi-asserted-by":"crossref","unstructured":"T.\u2009J. Prati, J.\u2009M. Farines, M.\u2009H. de Queiroz, Automatic test of safety specifications for PLC programs in the Oil and Gas Industry, IFAC-PapersOnLine, Vol.\u200948(bissue6), 2015, pp.\u200927\u201332.","DOI":"10.1016\/j.ifacol.2015.08.005"},{"key":"2023033119520603814_j_auto-2017-0076_ref_030_w2aab3b7ab1b6b1ab1b7c30Aa","unstructured":"T. Stahl, M. V\u00f6lter, J. Bettin: Modellgetriebene Softwareentwicklung: Techniken, Engineering, Management. 1. Aufl. Heidelberg: dpunkt-Verl., 2005."},{"key":"2023033119520603814_j_auto-2017-0076_ref_031_w2aab3b7ab1b6b1ab1b7c31Aa","unstructured":"IEC 61131-3: Programmable controllers \u2013 Part 3: Programming languages, 2013."},{"key":"2023033119520603814_j_auto-2017-0076_ref_032_w2aab3b7ab1b6b1ab1b7c32Aa","doi-asserted-by":"crossref","unstructured":"R. Drath, A. Fay, T.Schmidberger: Computer-aided design and implementation of interlocking control code. In: 2006 IEEE International Symposium on Computer-Aided Control Systems Design (CACSD\u201906), M\u00fcnchen, 04.\u201306.\u200910.\u20092006, ISBN: 0-7803-9797-5, pp.\u20092653\u20132658.","DOI":"10.1109\/CACSD.2006.285525"},{"key":"2023033119520603814_j_auto-2017-0076_ref_033_w2aab3b7ab1b6b1ab1b7c33Aa","unstructured":"R. David, H. Alla: Discrete, Continous, and Hybrid Petri Nets. Springer-Verlag, Berlin, Heidelberg, 2005."}],"container-title":["at - Automatisierungstechnik"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.degruyter.com\/view\/j\/auto.2018.66.issue-5\/auto-2017-0076\/auto-2017-0076.xml","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/auto-2017-0076\/xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/auto-2017-0076\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T03:59:03Z","timestamp":1751601543000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/auto-2017-0076\/html"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,1]]},"references-count":33,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2018,5,3]]},"published-print":{"date-parts":[[2018,5,25]]}},"alternative-id":["10.1515\/auto-2017-0076"],"URL":"https:\/\/doi.org\/10.1515\/auto-2017-0076","relation":{},"ISSN":["2196-677X","0178-2312"],"issn-type":[{"type":"electronic","value":"2196-677X"},{"type":"print","value":"0178-2312"}],"subject":[],"published":{"date-parts":[[2018,5,1]]}}}