时间问题是一个企业提高效率和信誉的重要因素。因此,时间的验证与分析成为当今工作流研究的一个热点问题。在一个实际的工作流中,......

为了有效管理工作流,需要对工作流模型进行合理性分析与验证.为此,提出了一种基于层次时间Petri网的工作流模型,给出了从时间Petri......

为了调整和优化通信装备维修保障系统中各类资源配置，采用DEVS（Discrete EVent System Specifications）与时间Petri网建模理论相结合......