综述了业务过程管理(BPM,business process management)不同侧面的研究现状,阐述BPM的内容、视图及生命周期,分析BPM在过程模型建模、实施、分析和管理方面的关键技术,概括了模型实例获得、模型的可配置性、模型实例诊断及新实例产生方法等方面的研究进展。同时,对BPM与web服务和数据库管理之间的联系进行分析。最后,从过程管理的数据来源、过程模型的确定、模型与日志的一致性检查问题、模型库的管理以及仿真系统等方面展望了BPM下一步的发展方向。
Logic Petri nets （LPNs） are suitable to describe and analyze batch processing functions and passing value indeterminacy in cooperative systems. To investigate the dynamic properties of LPNs directly, a new method for analyzing LPNs is proposed based on marking reachability graphs in this paper. Enabled conditions of transitions are obtained and a marking reachability graph is constructed. All reach- able markings can be obtained based on the graph; the fairness and reversibility of LPNs are analyzed. Moreover, the computing complexity of the enabled conditions and reachable markings can be reduced by this method. The advantages of the proposed method are illustrated by examples and analysis.
