基于自动机描述的ＤＥＤＳ模型，对系统的状态赋于时间特征，给出了状态计时的ＤＥＤＳ的定义和系统的组合，定义ＳＴＤＥＳ可以描述系统的并发，类似Ｂ．Ａ．Ｂｒａｎｄｉｎ的概念引进强近事......