在分析敏捷制造业务过程的基础上,给出了该业务过程的Petri网系统描述,并提出了Petri网过程模型。该模型描述了敏捷制造中多因素相互间的动态行为,解决了其过程中各环节之间的并发性、异步性、分布性等问题。最后,运用可达树分析方法分析了网模型的活性。
Based on the analysis of agile manufacturing business process, this paper described the business process in term of Petri net, and provided its model based on Petri net. The model described the dynamic behaviors and resolved the concurrent, asynchronism and distribution among the factors in agile manufacturing. In addition, paper analyzed the liveness of the Petri net process model by means of the reachability tree.