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

中图分类号： TN711.1；TP311
文献标识码： A
DOI：10.16157/j.issn.0258-7998.211273
中文引用格式： 徐彬，周洋，和淑芬，等. 微流程的建模与分析[J].电子技术应用，2022，48(1)：119-123，128.
英文引用格式： Xu Bin，Zhou Yang，He Shufen，et al. Modeling and analysis of micro processes[J]. Application of Electronic Technique，2022，48(1)：119-123，128.

Modeling and analysis of micro processes

Abstract： Business process management is an important enabling technology for organizations to build information systems. To ensure the correctness of micro processes, this paper proposes an approach to modeling and analyzing micro processes. Firstly, micro processes and micro processes composition under synchronous communication and asynchronous communication models are modeling based on Petri nets. Secondly, the soundness of composite micro processes is analyzed based on the Petri net analysis technology. Experimental results show that the proposed method can model microprocesses and detect the deadlocks caused by synchronous or asynchronous interaction errors of the composite micro processes.

Key words : business process management；micro processes；Petri nets；composite micro processes；soundness