ASAP: An Extensible Platform for State Space Analysis

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.

• Type: Conference
• Year: 2009
• Where: APN
• Authors: Michael Westergaard, Sami Evangelista, Lars Michael Kristensen
• Keywords: APN 2009, Artificial Intelligence, ASCoVeCo State Space, Explicit State Space, State Space Analysis