论文部分内容阅读
为了描述和分析实际复杂产时系统，提出了一种新的时间限制Ｐｅｒｔｉ网模型，区段赋时弧有色Ｒｅｔｒｉ网模型。这种Ｐｅｔｒｉ网在有色Ｐｅｔｒｉ网的库所输出弧上标注以输入库所的颜色为自变量的时间区间函数，基于一种充分考虑了系统时间不确定性的激发规划，给我段赋时弧有色Ｐｅｔｒｉ网的发生元序列的时间界估计，并以此为依据，提出了基于状态类的可达性分析方法和可阻断性分析方法。