Entwurf, Modellierung und Verifikation von Serviceabhängigkeiten in Prozessmodulen

Publikation: Beitrag in FachzeitschriftForschungsartikelBeigetragenBegutachtung

Beitragende

  • Jan Ladiges - , Universität der Bundeswehr Hamburg (Helmut-Schmidt Universität Hamburg) (Autor:in)
  • Aljosha Köcher - , Universität der Bundeswehr Hamburg (Helmut-Schmidt Universität Hamburg) (Autor:in)
  • Peer Clement - , Universität der Bundeswehr Hamburg (Helmut-Schmidt Universität Hamburg) (Autor:in)
  • Henry Bloch - , Universität der Bundeswehr Hamburg (Helmut-Schmidt Universität Hamburg) (Autor:in)
  • Thomas Holm - , Wago Kontakttechnik GmbH and Co. KG (Autor:in)
  • Paul Altmann - , Arbeitsgruppe Systemverfahrenstechnik, Technische Universität Dresden (Autor:in)
  • Alexander Fay - , Universität der Bundeswehr Hamburg (Helmut-Schmidt Universität Hamburg) (Autor:in)
  • Leon Urbas - , Professur für Prozessleittechnik, Arbeitsgruppe Systemverfahrenstechnik, Technische Universität Dresden (Autor:in)

Abstract

The capabilities of modules in modular plants in the process industry can be described by services. To describe the dependencies between such services, a service dependency matrix is introduced in this contribution. Each service is modelled by a seperate Petri Net first, which are then linked by the dependencies. For an efficient modelling of this larger Petri Net, so-called Service Nets are introduced on the basis of a PNML core model. By means of an analysis, the system can be verified regarding the presence/absence of deadlocks and other undesired characteristics.

Details

OriginalspracheDeutsch
Seiten (von - bis)418-437
Seitenumfang20
FachzeitschriftAt-Automatisierungstechnik
Jahrgang66
Ausgabenummer5
PublikationsstatusVeröffentlicht - 25 Mai 2018
Peer-Review-StatusJa

Externe IDs

ORCID /0000-0001-5165-4459/work/172571764

Schlagworte

Forschungsprofillinien der TU Dresden

Fächergruppen, Lehr- und Forschungsbereiche, Fachgebiete nach Destatis

Ziele für nachhaltige Entwicklung

Schlagwörter

  • modular process automation, module engineering, Module Type Package, Petri Net Markup Language, service dependencies