The purpose of this paper is to present the last results concerning the use of Stochastic Petri Nets (SPN) to evaluate the reliability of dynamic systems. The SPN modeling and their properties are briefly presented. Their capabilities to model stochastic - deterministic coupling processes and discrete-continuous ones are then described. To take into account these last characteristic processes, two similar approaches are developed: external continuous processes connected to the SPN through the transitions or the use of colored SPN. The SPN capabilities are illustrated by an example of a simple dynamic system. Finally, some future possible developments are proposed to improve the SPN capabilities, the computing time, etc.
展开▼