基于随机Petri网的通信线路抢占式服务分析

Analysis of communication service with a preemption mechanism based on stochastic Petri nets

随机Petri网是一种图形化的数学建模工具。对基于随机Petri网的具有抢占式服务策略的通信线路进行了分析。为了实现高优先级用户对低优先级用户服务中断的模拟,采用了基于变迁的抑制弧。推导了瞬时概率的表达式。最后,针对2个不同用户的实例,给出了M/G/1/2/2排队模型的分析结果。

Stochastic Petri Net is a kind of graphic model tools.Based on it,the analysis of communication service with a preemption mechanism is presented. An inhibitor arc is used to induce the fact that the higher priority user will interrupt the service of a lower priority user. The expressions for the transient probabilities are derived.At last, an M/G/1/2/2 queue with two different customers is discussed.