July 27, 2011Presentation: Modelling the Living Place Project using Algebraic Higher-Order Nets
Room: Zi 5126Nico Nachtigall

I will talk about the topic of my diploma thesis, in which a formal model of the system behaviour of a ubiquitous computing system - the so called Living Place System - was elaborated. This model is reasonably complex so that I have decided to present a small adapted submodel of the overall model. For that, I would like to introduce the formal modelling techniques, that are used within this submodel. This includes AHLI nets - a special type of Petri nets - as well as the transformation of such nets using categorical graph transformation approaches.