A time petri net model based on uniform distribution

作者：Pan Li; Ding Zhi Jun^*; Chen Gang

来源：Chinese Journal of Computers, 2010, 33(5): 900-907.

DOI：10.3724/SP.J.1016.2010.00900

• Dynamical simulation
• Existing method
• Experimental simulations
• Quantitative analysis
• Reachability
• State class method
• Time Petri nets
• Transition sequences
• Uniform distribution

In time Petri nets, the existing methods for the analysis of timed properties focus on the computation and reasoning about the endpoints of intervals, and are lack of concerns with the quantitative analysis of the uncertainty in intervals which is critical to the evaluation of system performance and the implementation of dynamical simulation. This paper proposes a time Petri net model based on uniform distribution to efficiently address the problem. First, an approach is presented for calculating firing probabilities of transitions and transition sequences under uniform distribution. Then the probability conditions are introduced into state classes to build a probabilistic reachability class tree. Some experimental simulation results of a time Petri net are given to verify the correctness of the method.

• 出版日期2010
• 单位同济大学