一类区段赋时弧有色Petri网的可达性和可阻断性分析

Analysis of Reachability and Prohibitibility of a Class of Coloured Petri Nets with Interval Timed Arcs

为了描述和分析实际复杂实时系统，提出一种新的时间限制Perti网模型，区段赋时弧有色Petri网模型．这种Petri网在有色Petri网的库所输出弧上标注以输入库所的颜色为自变量的时间区间函数．基于一种充分考虑了系统时间不确定性的激发规则，给出了区段赋时弧有色Petri网的发生元序列时间界估计，并以此为依据，提出了基于状态类的可达性分析方法和可阻断性分析方法.

In order to describe and analyse complex real-time systems,new timing constraint Petri nets,named colouredpetri nets with interval timed ares (ITACPN),are proposed in this paper,This Kind of petri nets uses time interval functions ofcolours in input places to label arcs that directing from places to transitions.Based on a Kind of firing rule,which the uncertaintyof system time is sufficiently considered,time bound of the occurrence sequence is estimated.Moreover,state class based methods used on reachability analysis and prohibitibility analysis are put forward.