|
ASCoVeCo Project Homepage
|
|
|
The ASCoVeCo Project
Dept. of Computer Science
University of Aarhus
Email:
DAIMI / Projects / ASCoVeCo / ASAP
ASAP state space exploration platform represents the next generation of computer tool support for state space exploration of CPN models. The design of the ASAP platform takes into account many of the lessons learned through the development and application of state space methods in Design/CPN and CPN Tools.
An important vision of ASAP is to provide the user with coherent support for a large suite of state space methods. ASAP relies on a graphical language for specification of verification jobs allowing users to work on different abstraction levels when applying state space methods. Furthermore, ASAP has a software architecture \cite{accesscpn} that allows researchers to extend the tool with new state space methods and have these integrated as first class citizens in the tool.
The current version is available via the download page. The next version of ASAP will be released in conjunction with the Petri net conference.