Sciweavers

CAV
2004
Springer

Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings

14 years 4 months ago
Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings
Abstract. We present an unfolding-based approach to LTL-X modelchecking of high-level Petri nets. It is based on the method proposed by Esparza and Heljanko for low-level nets [4, 5] and a state of the art parallel high-level net unfolder described in [15, 13]. We present experimental results comparing our approach to the one of [4, 5] and the model-checker Spin [12].
Claus Schröter, Victor Khomenko
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where CAV
Authors Claus Schröter, Victor Khomenko
Comments (0)