Entwurf, Modellierung und Verifikation von Serviceabhängigkeiten in Prozessmodulen

Research output: Contribution to journal › Research article › Contributed › peer-review

Contributors

  • Jan Ladiges - , Helmut Schmidt Unviersity Hamburg (Author)
  • Aljosha Köcher - , Helmut Schmidt Unviersity Hamburg (Author)
  • Peer Clement - , Helmut Schmidt Unviersity Hamburg (Author)
  • Henry Bloch - , Helmut Schmidt Unviersity Hamburg (Author)
  • Thomas Holm - , Wago Kontakttechnik GmbH and Co. KG (Author)
  • Paul Altmann - , Process Systems Engineering Group, TUD Dresden University of Technology (Author)
  • Alexander Fay - , Helmut Schmidt Unviersity Hamburg (Author)
  • Leon Urbas - , Chair of Process Control Systems, Process Systems Engineering Group, TUD Dresden University of Technology (Author)

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.

Translated title of the contribution
Design, modelling and verification of service dependencies in process modules

Details

Original languageGerman
Pages (from-to)418-437
Number of pages20
JournalAt-Automatisierungstechnik
Volume66
Issue number5
Publication statusPublished - 25 May 2018
Peer-reviewedYes

External IDs

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

Keywords

Research priority areas of TU Dresden

DFG Classification of Subject Areas according to Review Boards

Subject groups, research areas, subject areas according to Destatis

Sustainable Development Goals

ASJC Scopus subject areas

Keywords

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