Entwurf, Modellierung und Verifikation von Serviceabhängigkeiten in Prozessmodulen
Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
Beitragende
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
Originalsprache | Deutsch |
---|---|
Seiten (von - bis) | 418-437 |
Seitenumfang | 20 |
Fachzeitschrift | At-Automatisierungstechnik |
Jahrgang | 66 |
Ausgabenummer | 5 |
Publikationsstatus | Veröffentlicht - 25 Mai 2018 |
Peer-Review-Status | Ja |
Externe IDs
ORCID | /0000-0001-5165-4459/work/172571764 |
---|
Schlagworte
Forschungsprofillinien der TU Dresden
DFG-Fachsystematik nach Fachkollegium
Fächergruppen, Lehr- und Forschungsbereiche, Fachgebiete nach Destatis
Ziele für nachhaltige Entwicklung
ASJC Scopus Sachgebiete
Schlagwörter
- modular process automation, module engineering, Module Type Package, Petri Net Markup Language, service dependencies