Abstract | ||
---|---|---|
Model checking is very important to analyse the behavior of consumer electronic products. However, if a product has large-scale behavior, we cannot use model checking because of state space explosion. In this paper, we propose a Petri net-based framework of parallel model checking and a Petri net splitting procedure. The proposed framework is useful to reduce the size of the net, thereby increases the applicability of model checking. This parallel model checking allows us to analyse the property of each splitted nets simultaneously. We illustrate the proposed framework with a product called as i-Refrigerator as an application example. |
Year | Venue | Field |
---|---|---|
2015 | 2015 IEEE 4TH GLOBAL CONFERENCE ON CONSUMER ELECTRONICS (GCCE) | Petri net,Model checking,Computer science,Stochastic Petri net,Theoretical computer science,State space |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
0 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Muhammad Syafiq Bin Ab Malek | 1 | 0 | 1.35 |
Mohd Anuaruddin Bin Ahmadon | 2 | 6 | 10.13 |
shingo | 3 | 64 | 31.04 |