ASAP: an extensible platform for state space analysis

M. Westergaard, S. Evangelista, L.M. Kristensen

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

    24 Citations (Scopus)

    Abstract

    The ASCoVeCo State space Analysis Platform (ASAP) is a tool for performing explicit state space analysis of coloured Petri nets (CPNs) and other formalisms. ASAP supports a wide range of state space reduction techniques and is intended to be easy to extend and to use, making it a suitable tool for students, researchers, and industrial users that would like to analyze protocols and/or experiment with different algorithms. This paper presents ASAP from these two perspectives.
    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
    Pages303-312
    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 'ASAP: an extensible platform for state space analysis'. Together they form a unique fingerprint.

    Cite this