Timing constrain petri net with stochastic firing duration and analtic caluclation of its reachability

摘要

Timing constrain petric net with stochastic firing duration 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 s cheduling methods.