Deterministic and stochastic Petri net models of protection schemes

The authors establish the relevance of Petri net modeling to protection studies. They illustrate how the different Petri net models capture the information that is of importance to both qualitative and quantitative evaluation of protection schemes. The marked Petri nets allow one to evaluate the qualitative performance measures of conservativeness, safeness, and properness. Time Petri nets are able to represent the timing parameters of protection schemes, and serve as a tool for the establishment of relationships between these parameters, in order that the coordination between primary and backup protection is ensured. An alternative means of representing timing information is the timed Petri net, which is useful in the computation of the cycle times of the operational cycles of protection schemes. Stochastic Petri nets adequately represent the stochastic nature of protection. Their advantage over simulation techniques as a means of computing the mean sojourn time and the steady-state probability of occupancy of each state of the protection scheme is demonstrated