Modelling Ambient Systems with Coloured Petri Nets

A. Konios, M. Koutny

Research output: Book/ReportOther report

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.
Original languageEnglish
PublisherNewcastle University
Number of pages27
Publication statusPublished - Mar 2013

Publication series

NameNewcastle University Computing Science Technical Report Series
PublisherNewcastle University
No.CS-TR-1377

Fingerprint

Petri nets

Keywords

  • Modelling
  • Ambient systems
  • Petri nets
  • Modularity
  • Compositionality

Cite this

Konios, A., & Koutny, M. (2013). Modelling Ambient Systems with Coloured Petri Nets. (Newcastle University Computing Science Technical Report Series; No. CS-TR-1377). Newcastle University.

Modelling Ambient Systems with Coloured Petri Nets. / Konios, A.; Koutny, M.

Newcastle University, 2013. 27 p. (Newcastle University Computing Science Technical Report Series; No. CS-TR-1377).

Research output: Book/ReportOther report

Konios, A & Koutny, M 2013, Modelling Ambient Systems with Coloured Petri Nets. Newcastle University Computing Science Technical Report Series, no. CS-TR-1377, Newcastle University.
Konios A, Koutny M. Modelling Ambient Systems with Coloured Petri Nets. Newcastle University, 2013. 27 p. (Newcastle University Computing Science Technical Report Series; CS-TR-1377).
Konios, A. ; Koutny, M. / Modelling Ambient Systems with Coloured Petri Nets. Newcastle University, 2013. 27 p. (Newcastle University Computing Science Technical Report Series; CS-TR-1377).
@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 = "3",
language = "English",
series = "Newcastle University Computing Science Technical Report Series",
publisher = "Newcastle University",
number = "CS-TR-1377",
address = "United Kingdom",

}

TY - BOOK

T1 - Modelling Ambient Systems with Coloured Petri Nets

AU - Konios, A.

AU - Koutny, M.

PY - 2013/3

Y1 - 2013/3

N2 - 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.

AB - 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.

KW - Modelling

KW - Ambient systems

KW - Petri nets

KW - Modularity

KW - Compositionality

M3 - Other report

T3 - Newcastle University Computing Science Technical Report Series

BT - Modelling Ambient Systems with Coloured Petri Nets

PB - Newcastle University

ER -