Modelling Ambient Systems with Coloured Petri Nets

A. Konios, M. Koutny

    Research output: Book/ReportOther reportpeer-review


    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


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


    Dive into the research topics of 'Modelling Ambient Systems with Coloured Petri Nets'. Together they form a unique fingerprint.

    Cite this