运用Petri网对实际系统进行建模时，事件的发生往往必须在一个时间区间序列内。针对此问题，提出一种离散时间区间Petri网模型。着重对......

为了在建立导弹部队机动作战过程Petri网模型时充分体现其时间特性,定义了一种离散时间区间Petri网（discrete time span Petri net,......