A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
ASAP: An Extensible Platform for State Space Analysis
[chapter]
2009
Lecture Notes in Computer Science
Preserved Fulltext
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.
doi:10.1007/978-3-642-02424-5_18
fatcat:dpwhcuxp3ravfapbvqhb4mby4q