The temporal formula model(TFM) of the discrete event process is established firstly, then the property analysis problem of the TFM is discussed.

• 首先给出了离散事件过程的时态公式模型（TFM），并讨论了在该模型下的性质分析问题。