好像分析的顺序错了，应该是先分析流程定义的基本元素好一些，今天就给大家展示一下Fire Workflow的org.fireflow.model.net包。
首先看一下整体类图：
由图很显而易见，Node分为两大类，Synchronizer和Activity，其中前者又可以分为EndNode和StartNode。边Edge两端关联两个Node。Loop和Transition继承自Edge。由于Fire Workflow是基于Petri网理论的，Transition也就是Petri net 中的变迁。Fire Workflow在基本Petri网基础上将处所节点（Place）给扩展了（虽然当前的流程元素定义还不够完善，这也是下一步要做的事情）。下面简要展示一下每一部分的内容。
Node:工作流网的节点。继承抽象类AbstractWFElement（见上文）。其第二个构造函数也是调用了基类的方法。
Activity:继承自Node，大大丰富了节点的内容，和我们通常认为的工作网中的Activity类似。
Synchronizer:同步器，相当于路由，可以理解为Petri net中的or-split，and-split，or-join，and-join，主要处理分支和会聚。
enteringTransitions：输入转移的列表。
leavingTransitions：输出转移的列表。
enteringLoops：输入循环的列表。
leavingLoops：输出循环的列表。和enteringLoops一起配合Loop来进行循环操作。
StartNode:开始节点，继承自Synchronizer。每个流程有且只有一个开始节点。
EndNode:结束节点，继承自Synchronizer。每个流程有且只有一个结束节点。
Edge:工作网中的边，也就是弧。
fromNode：转移(或者循环)的源节点。转移的源节点可以是StartNode、 Activity或者Synchronizer。循环的源节点必须是Synchronizer或者EndNode，同时循环的目标节点必须是循环源节点的前驱。
toNode：转移(或者循环)的目标节点。转移的终止目标可以是EndNode、 Activity或者Synchronizer。循环的目标节点必须是Synchronizer或者StartNode。
condition：转移（或者循环）的启动条件。
Transition:流程转移。继承自Edge。目前没有扩展。
Loop:循环。继承自Edge。目前也没什么扩展。
可以看出，Fire Workflow的工作流网模型已经能满足基本的流程设计需要，关于Fire Workflow对于各种工作流模式的实现可以参看非也写的《Fire Workflow工作流原理、设计与应用》，国内已经有多个使用案例了，本人正做翻译方面的工作，打算向国外社区发布Fire Workflow，把Fire推向世界，如有兴趣加入的可以联系我。
