时间感知的业务过程管理研究

时间管理是业务过程管理的核心组成部分。本文以时间Petri网为形式化基础,从构建阶段、实例化阶段和运行阶段三个方面,讨论了对业务过程的时间管理,包括:活动的时间约束描述、活动间的时间约束描述、对时间约束的违背检测等。