Browse by author
Lookup NU author(s): Alexandros Konios, Dr Marta Koutny
This is the final published version of a report that has been published in its final definitive form by School of Computing Science, University of Newcastle upon Tyne, 2013.
For re-use rights please refer to the publisher's terms and conditions.
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.
Author(s): Pietkiewicz-Koutny M; Konios A
Publication type: Report
Publication status: Published
Series Title: School of Computing Science Technical Report Series
Year: 2013
Pages: 24
Print publication date: 01/03/2013
Source Publication Date: March 2013
Report Number: 1377
Institution: School of Computing Science, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1377.pdf
