PetriNet\FSM\EPC\XPDL\Activity Diagram\jPDL--BPEL\BPMN\BPMD
工作流引擎是基于过程建模来实现的，因此可以说常见的引擎实现有这几种：
EPC是一种过程建模方法，全称是Event-driven Process Chain。
FSM 有限状态机。
PetriNet：Petri网模型。
Activity Diagram：UML活动图。
开源引擎：
Shark－Activity Diagram。
Osworkflow－FSM。
Jbpm－FSM+Activity Diagram+PetriNet