The Access/CPN framework: a tool for interacting with the CPN tools simulator

M. Westergaard, L.M. Kristensen

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    52 Citations (Scopus)
    3 Downloads (Pure)

    Abstract

    Coloured Petri nets (CP-nets or CPNs) is a widely used formalism for describing concurrent systems. CPN Tools provides a mature environment for constructing, simulating, and performing analysis of CPN models. CPN Tools also has limitations if, for example, one wishes to extend the analysis capabilities or to integrate CPN models into external applications. In this paper we present Access/CPN, a framework that facilitates such extensions. Access/CPN consists of two interfaces: one written in Standard ML, which is very close to the simulator component of CPN Tools, and one written in Java, providing an object-oriented representation of CPN models, a means to load models created using CPN Tools, and an interface to the simulator. We illustrate Access/CPN by providing the complete implementation of a simple command-line state space exploration tool.
    Original languageEnglish
    Title of host publicationProceedings of the 30th International Conference on Applications and Theory of Petri Nets (Petri Nets 2009), 22-26 June 2009, Paris, France
    EditorsG. Franceschinis, K. Wolf
    Place of PublicationBerlin
    PublisherSpringer
    ISBN (Print)978-3-642-02423-8
    DOIs
    Publication statusPublished - 2009

    Publication series

    NameLecture Notes in Computer Science
    Volume5606
    ISSN (Print)0302-9743

    Fingerprint

    Dive into the research topics of 'The Access/CPN framework: a tool for interacting with the CPN tools simulator'. Together they form a unique fingerprint.

    Cite this