@inproceedings{6f9bfdf2471e4c4bad36006343cb2e3c,
title = "ASAP: an extensible platform for state space analysis",
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.",
author = "M. Westergaard and S. Evangelista and L.M. Kristensen",
year = "2009",
doi = "10.1007/978-3-642-02424-5_18",
language = "English",
isbn = "978-3-642-02423-8",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "303--312",
editor = "G. Franceschinis and K. Wolf",
booktitle = "Proceedings of the 30th International Conference on Applications and Theory of Petri Nets (Petri Nets 2009), 22-26 June 2009, Paris, France",
address = "Germany",
}