UNIGE document Chapitre d'actes
previous document  unige:9825  next document
add to browser collection
Title

Improving the significance of benchmarks for Petri nets model checkers

Authors
Published in Proceedings of the workshops APNOC and SUMo, Braga, June 22, 2010. Braga (Portugal) - 22nd June 2010 - . 2010, p. 97-111
Abstract Benchmarking is a fundamental activity to rigorously quantify the improvements of a new approach or tool with respect to the state of the art. Generally, it consists in comparing results of a given technique with more or less similar approaches. In the Petri nets community, the comparison is often centered on model checking and/or state space calculation performance. However, there is sometimes little justification for the choice of the techniques to compare to. Also, benchmarks often lack context information, such as the exact model used, or how to reproduce the results. This makes it diffcult to draw conclusions from the comparisons. We conducted a survey among the Petri nets community in which we gathered information about the used formalisms and techniques. This revealed an unanimous interest for a common repository of benchmarks. The survey shows that existing efforts in this direction suffer from limitations that prevent their effectiveness. In this article we report the results of the survey and we outline perspectives for improving Petri nets benchmark repositories.
Full text
Proceedings chapter (994 Kb) - public document Free access
Structures
Research group Software Modeling and Verification
Citation
(ISO format)
HOSTETTLER, Steve Patrick et al. Improving the significance of benchmarks for Petri nets model checkers. In: Proceedings of the workshops APNOC and SUMo, Braga, June 22, 2010. Braga (Portugal). [s.l.] : [s.n.], 2010. p. 97-111. https://archive-ouverte.unige.ch/unige:9825

265 hits

634 downloads

Update

Deposited on : 2010-07-30

Export document
Format :
Citation style :