Authors : Eleazar Jimenez Serrano
Abstract: Reachability problems of state spaces derived from Petri nets are mainly tackled through structure analysis of the network and state space analysis of the behavior of the network. Both types of analysis have been combined in order to cope with their limitations but still the state space explosion in big networks keeps the margin of impracticability large. Here we use simulation, the third type of analysis technique and present four partial exploration metaheuristic methods intended to explore only certain evolutions of the state space and find the searched state in the fastest possible way (pathwise). The methods adopt some fundaments from statistical process control and six sigma used in the manufacturing industry and the example presented is precisely for a manufacturing system.
Eleazar Jimenez Serrano , 2010. Using Metaheuristics and SPC in the Analysis of State Spaces of Petri Nets. Journal of Engineering and Applied Sciences, 5: 413-419.