基于一致分布的时间Petri网模型

A Time Petri Net Model Based on Uniform Distribution

时间Petri网的现有分析理论主要关注基于区间端点的计算和推理,缺乏对实施区间内不确定性的定量描述,不利于时间Petri网进行系统性能评价和动态模拟实现.为了解决这一问题,提出基于一致分布的时间Petri网模型.首先给出变迁实施概率和变迁序列实施概率的计算方法;然后引入概率条件到状态类,用于构造时间Petri网的概率可达类树;最后给出动态模拟实验,检验理论方法的正确性.

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.