@book{efa4b75edaa645fbbcbabd69963f8b23,
title = "Modelling Ambient Systems with Coloured Petri Nets",
abstract = "This paper is concerned with the formal modelling of Ambient Systems, focussing on the issues that emerge in their modelling using coloured Petri nets. A new class of coloured Petri nets, called Ambient Petri Nets (APNs) is introduced. Furthermore, a related step-modelling approach and its rationale are described. After that, the modularity and compositionality of the new class of Petri nets are discussed, and a method of composing APNs is introduced.",
keywords = "Modelling, Ambient systems, Petri nets, Modularity, Compositionality",
author = "A. Konios and M. Koutny",
year = "2013",
month = mar,
language = "English",
series = "Newcastle University Computing Science Technical Report Series",
publisher = "Newcastle University",
number = "CS-TR-1377",
address = "United Kingdom",
}