Title :
Searching best paths to worst states
Author :
Florin, G. ; Fraize, C. ; Natkin, S.
Author_Institution :
CEDRIC, Paris, France
Abstract :
Probabilistic validation is a new approach to deal with large state transitions systems. The user´s need is to prove that, for a given period of operations, that a given assertion on the reached states is true with a sufficient level of probability. The system to be validated is modeled by a stochastic Petri net. The analysis relies on a partial exploration of the reachability set and tries to reach as quickly as possible critical states (states in which the assertion is not verified). An exact linear program solution allows to `travel´ through the graph. The main goal of the paper is to present the principles of this searching algorithm
Keywords :
Petri nets; search problems; best paths; large state transitions; probabilistic validation; searching algorithm; stochastic Petri net; Computational modeling; Monte Carlo methods; Petri nets; Protocols; Safety; State-space methods; Stochastic processes; Stochastic systems; System analysis and design; Timing;
Conference_Titel :
Petri Nets and Performance Models, 1991. PNPM91., Proceedings of the Fourth International Workshop on
Conference_Location :
Melbourne, Vic.
Print_ISBN :
0-8186-2285-7
DOI :
10.1109/PNPM.1991.238800
