Title :
Petri nets state space analysis in the cloud
Author_Institution :
Dipt. di Inf. e Comun., Univ. degli Studi di Milano, Milan, Italy
Abstract :
Several techniques for addressing the state space explosion problem in model checking have been studied. One of these is to use distributed memory and computation for storing and exploring the state space of the model of a system. In this report, we present and compare different multi-thread, distributed, and cloud approaches to face the state-space explosion problem. The experiments report shows the convenience (in particular) of cloud approaches.
Keywords :
Petri nets; cloud computing; formal verification; multi-threading; Petri nets state space analysis; cloud approaches; distributed approach; distributed memory; model checking; multithread approach; state space explosion problem; Analytical models; Computational modeling; Explosions; Instruction sets; Petri nets; Real time systems; Space exploration; Cloud computing; Distributed computing; MapReduce; Multithreaded computing; Petri nets; Real-Time systems; State-space explosion; State-space parallel exploration;
Conference_Titel :
Software Engineering (ICSE), 2012 34th International Conference on
Conference_Location :
Zurich
Print_ISBN :
978-1-4673-1066-6
Electronic_ISBN :
0270-5257
DOI :
10.1109/ICSE.2012.6227217
