论文部分内容阅读
为了描述和分析实际复杂实时系统，提出一种新的时间限制Perti网模型，区段赋时弧有色Petri网模型．这种Petri网在有色Petri网的库所输出弧上标注以输入库所的颜色为自变量的时间区间函数．基于一种充分考虑了系统时间不确定性的激发规则，给出了区段赋时弧有色Petri网的发生元序列时间界估计，并以此为依据，提出了基于状态类的可达性分析方法和可阻断性分析方法.
In order to describe and analyze the real complex real-time system, a new time-limited Perti net model and a section-time colored arc Petri net model are proposed. This Petri net is marked on the output arc of a library with colored Petri nets as a time interval function that inputs the color of the place as an independent variable. Based on a kind of excitation rule which takes the system time uncertainty into full account, this paper presents the time series estimation of meta-colored sequential Petri nets with interval-based colored Petri nets. Based on this, a state-based reachability analysis Methods and methods of blocking analysis.