Timing Constrain Petri Net with Stochastic Firing Duration and Analytic Calculation of Its Reachability

摘要

Timing constrain petri net with stochastic firing durating is introduced in this paper, which can be used to unified description of strong and weak firing mode of petri net. The new net and its probability reachability analysis are employed in specification easily of time-critical system and evaluating analytically the scheduling methods.