微流程的建模与分析

业务流程管理技术是组织实施信息系统的重要使能技术。为确保微流程能正常运行,提出了一种建模与分析微流程的方法。首先,该方法以Petri网为形式化基础,对微流程以及微流程间的同步组合和异步组合进行建模。其次,基于Petri网的分析技术,该方法对组合微流程进行了合理性分析。实验结果表明,该方法能建模微流程,并检测出组合微流程中因同步交互或异步交互错误引起的死锁。