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

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.