Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems

Kurt Jensen, Lars Michael Kristensen, Lisa Marie Wells

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

    952 Citationer (Scopus)

    Abstract

    Coloured Petri Nets (CPNs) is a language for the modeling and validation og systems in which concurrency, communication, and synchronisation play a major role. Coloured Petri Nets is a descrete-event modeling language combining Petri Nets with the funcitonal programming language Standard ML. Petri nets provide the doundation of the graphical notation and the basic primitives for modeling concurrency, communication, and synchronisation. Standard ML provides the primitives for the defintion of data types, describing data manipulation, and for creation compact and prarmeterisable models. A CPN model of a system is an executable model representing the states of the sytem and the events (transitions) that can cause the system to chande state. The CPN language makes it possicle to organise a model as a set of modules, and it includes a time concept that makes it possible to represent the time taken to execute events in the modelled system.

    CPN Tolls is an industrial-strength computer tool for construction and analysing CPN models. Using CPN Tools, it is possible to investigate the behaviour of the modelled system using simulation, to verify properties by means of state sp0ece methods and model checking, and to conduct simulation-based prerformace analysis. User interaction with CPN Tools is based on direct manipulation of the graphicla representation of the CPN model suing interaction techniques, such as tool palettes and maring menus. The functionality of the tool can be extended with user-defined Standard ML functions. A license for CPN Tools can be obtained free of charge, also for commercial use.

    OriginalsprogEngelsk
    TidsskriftInternational Journal on Software Tools for Technology Transfer
    Vol/bind9
    Nummer3/4
    Sider (fra-til)213-254
    Antal sider41
    ISSN1433-2779
    DOI
    StatusUdgivet - 2007

    Fingeraftryk

    Dyk ned i forskningsemnerne om 'Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems'. Sammen danner de et unikt fingeraftryk.

    Citationsformater