Petri网介绍

因为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的个数。