企业的业务流程是非常复杂的,在为企业设计与流程相关的软件的失败率很高,原因在于所设计的软件处理的流程与企业实际运行的流程不相符合.针对该问题,该文采用一阶逻辑形式化的描述了一个过程仿真系统模型,使得该过程仿真系统具有一定的通用性.并根据该逻辑模型开发了一个过程仿真系统,用于检验所仿真的流程是否与实际流程相符合.通过将企业实际运行结果数据与仿真系统的输出数据进行比较,可以判断流程是否符合企业实际业务处理过程.该过程仿真系统采用了该文提出的活动/资源/时间图模型,用于描述企业业务流程;采用融合事件调度法和活动扫描法的仿真策略进行仿真;采用推理机处理业务流程的逻辑关系;并且在其中应用VAD(Value-Assignment Delay)启发式、优先级指导冲突活动的调度,以此实现了一个离散事件过程仿真系统.该文提出的活动/资源/时间图模型是该文提出的一种新的离散事件系统建模方法,能够很好地描述业务处理流程,有效地解决了复杂流程的描述问题.最后于以上原理,完成了基于活动/资源/时间图模型的过程仿真原型系统的设计与开发.