因为NetBpm是基于JBpm的，所以JBpm的原理也同样适用于NetBpm。因为JBpm涉及到了Petri网的知识，所以在这里查了网络的资料，记录在这里，以备查看：
Petri网的规则是：
- Connection是有方向的
- 两个Place或Transition之间不允许有Connction
- Place可以拥有任意数量的Token
Action
如果一个Transtion的每个Input Place都拥有Token，该Transition即为enable。一个Transition为enable时，Transtion将fire，input place的Token被消耗，同时为output place产生Token。
注意：
- Transition的发生是原子的；
- 有两个Transition都enable可能，但是一次只能发生一个Transition；
- 如果出现一个Transition，其Input Place的个数与Output Place的个数不相等，Token的个数将发生变化；
- Petri网络是静态的；
- Petri网的State由Token在Place的分布决定。
两个变Transition争夺一个Token的情形被称之为Conflct。
多个Connction连接两个节点的情况。在Input Place和Transition之间的Connection的个数决定了该Transition变为enable需要的Token的个数。Connection的个数决定了消耗/产生的Token的个数。
