【摘要】 给出了一个带时间限制的扩展绑定事件结构.在这个结构中,给每个事件一个时间值,同时对绑定中的每一个事件指定一个时间限制值.一个事件e带有时间限制值t表示从系统开始执行算起,事件e从时间点t开始成为可能事件.对于绑定X|→ec和ea∈X,时间ta表示,如果事件ea,ec出现在系统的一次运行中,则ta是这两个事件发生的最小时间限制值.我们给出了能反映上述特点的事件结构模型,分析了模型中带时间的事件迹、带时间的偏序集、剩余事件结构等概念的特性,并且证明了这个模型是无时间限制的事件结构模型的保守扩展.更多还原

【Abstract】 This paper describes a timed variant of extended bundle event structures.We equip events and every event in bundles with a time value.An event e with time t denotes that e is enabled from t time units on since the system is started.For a bundle X|→ec and event ea∈X,ta denotes that the time between the occurrence of event ea and the appearance of e should be at least ta time units.The result is a causality based model allowing the specification of minimal time constraints.Notions like timed event trace,timed lposets and timed remainder are discussed.We have the conclusion that our model is a conservative extension of the untimed causality-based model.更多还原