ASAP: an extensible platform for state space analysis

M. Westergaard; S. Evangelista; L.M. Kristensen

doi:10.1007/978-3-642-02424-5_18

ASAP: an extensible platform for state space analysis

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

25 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 language	English
Title of host publication	Proceedings of the 30th International Conference on Applications and Theory of Petri Nets (Petri Nets 2009), 22-26 June 2009, Paris, France
Editors	G. Franceschinis, K. Wolf
Place of Publication	Berlin
Publisher	Springer
Pages	303-312
ISBN (Print)	978-3-642-02423-8
DOIs	https://doi.org/10.1007/978-3-642-02424-5_18
Publication status	Published - 2009

Publication series

Name	Lecture Notes in Computer Science
Volume	5606
ISSN (Print)	0302-9743

Access to Document

10.1007/978-3-642-02424-5_18

Cite this

Westergaard, M., Evangelista, S., & Kristensen, L. M. (2009). ASAP: an extensible platform for state space analysis. In G. Franceschinis, & K. Wolf (Eds.), Proceedings of the 30th International Conference on Applications and Theory of Petri Nets (Petri Nets 2009), 22-26 June 2009, Paris, France (pp. 303-312). (Lecture Notes in Computer Science; Vol. 5606). Springer. https://doi.org/10.1007/978-3-642-02424-5_18

@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",

}

Westergaard, M, Evangelista, S & Kristensen, LM 2009, ASAP: an extensible platform for state space analysis. in G Franceschinis & K Wolf (eds), Proceedings of the 30th International Conference on Applications and Theory of Petri Nets (Petri Nets 2009), 22-26 June 2009, Paris, France. Lecture Notes in Computer Science, vol. 5606, Springer, Berlin, pp. 303-312. https://doi.org/10.1007/978-3-642-02424-5_18

ASAP: an extensible platform for state space analysis. / Westergaard, M.; Evangelista, S.; Kristensen, L.M.

Proceedings of the 30th International Conference on Applications and Theory of Petri Nets (Petri Nets 2009), 22-26 June 2009, Paris, France. ed. / G. Franceschinis; K. Wolf. Berlin : Springer, 2009. p. 303-312 (Lecture Notes in Computer Science; Vol. 5606).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - ASAP: an extensible platform for state space analysis

AU - Westergaard, M.

AU - Evangelista, S.

AU - Kristensen, L.M.

PY - 2009

Y1 - 2009

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-642-02424-5_18

DO - 10.1007/978-3-642-02424-5_18

M3 - Conference contribution

SN - 978-3-642-02423-8

T3 - Lecture Notes in Computer Science

SP - 303

EP - 312

BT - Proceedings of the 30th International Conference on Applications and Theory of Petri Nets (Petri Nets 2009), 22-26 June 2009, Paris, France

A2 - Franceschinis, G.

A2 - Wolf, K.

PB - Springer

CY - Berlin

ER -

Westergaard M, Evangelista S, Kristensen LM. ASAP: an extensible platform for state space analysis. In Franceschinis G, Wolf K, editors, Proceedings of the 30th International Conference on Applications and Theory of Petri Nets (Petri Nets 2009), 22-26 June 2009, Paris, France. Berlin: Springer. 2009. p. 303-312. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-02424-5_18

ASAP: an extensible platform for state space analysis

Abstract

Publication series

Access to Document

Fingerprint

Cite this