Modellierung und Analyse von Szenarien des Living Place mit rekonfigurierbaren Petrinetzen

Abstract

Diese Arbeit befasst sich mit der Modellierung von kontextabhängigen Szenarien in einer intelligenten Wohnung, dem Living Place Hamburg. Mit rekonfigurierbaren Petrinetzen, einer Erweiterung der klassischen Petrinetze, werden verschiedene morgendliche Abläufe eines Bewohners modelliert. Dabei steht die Interaktion zwischen dem Bewohner und der intelligenten Wohnung im Vordergrund. Anhand dieser Netzmodelle werden einige Ansätze zu einer möglichen Analyse ausgearbeitet.

This thesis concerns the modeling of context-dependent scenarios in a smart home, i.e. the Living Place Hamburg. Reconfigurable petri nets – an extension of classic petri nets – are used to model different matutinal routines of a resident. Priority is given to the interaction of the resident and the smart home. On the basis of these net models suggestions for a possible analysis are presented.