Improved estimation of the size of the state space of petri nets for the analysis of reachability problems

Authors:
Eleazar Jimenez Serrano
Affiliations:
Dept. of Automotive Science, Grad. School of Integrated Frontier Sciences, Kyushu University, Fukuoka-city, Japan
Venue:
ECC'11 Proceedings of the 5th European conference on European computing conference
Year:
2011

Citing 4
Cited 0

Petri Net Theory and the Modeling of Systems

Petri Net Theory and the Modeling of Systems
Place or Transition Petri Nets

Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Elementary Net Systems

Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Coloured Petri Nets: Modelling and Validation of Concurrent Systems

Coloured Petri Nets: Modelling and Validation of Concurrent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

The complete exploration of large system states modeled with Petri net (PN) systems demonstrates state space explosion, limiting reachability analysis. The calculation of the number of states (samples) necessary to conduct a statistical hypothesis test for reachability problems of PN systems is discussed in this paper. The calculation is based on the estimation of the size of the state space. This paper presents two estimators of the size of the state-space for bounded PN systems. The estimators are improved extensions of existing ones and are based on the simple elimination of unreachable markings. The estimations will be used in the calculation of the number of necessary samples to collect in the partial exploration of the state space. The improved estimation obtained in one example presents larger benefits than with the former estimator.