离散事件模型

离散事件模型（discrete event simulation），理学-系统科学-系统工程-系统建模-系统模型，描述系统状态仅在一些离散的时刻上由于事件的驱动而发生变化的数学模型。离散事件模型主要有：①不带时标的离散事件动态系统模型。如有限状态自动机、Petri网络模型、过程代数模型、时序逻辑模型等。②带时标的DEDS模型。如赋时Petri网络模型 、TIM/RTIL模型、双子代数模型、排队网络模型Markov链与GSMP模型等。离散事件模型的种类较多，但不同的模型之间缺少必要的转换关系，且每一种模型描述形式往往只适用于一类或几类问题，还没有通用的适合于各类研究对象的模型表示方式。离散事件常用的建模方法主要有排队论方法、网络图或事件图法、形式语言与自动机方法、随机过程描述法和抽象代数方法等。