Models a business process as a finite set of states and event transitions.

• 将业务流程建模为有限的状态和事件转移集。