Petri Net 和 Workflow

Case Type：工作流的一个抽象的定义。它是由tasks连接在一起的。在一个case里，tasks可以有不同状态，一个是活动的work item，另一个是进行中的activity。

Petri Nets：一个Petri Nets由places和transitions组成， 由edges来负责连接places和transitions。



Places和transitions代表Petri net的静态方面，动态的由tokens来表示。传统的Petri nets不足与进行复杂的建模，所以要采用colored Petri nets。每个token有一个颜色。为了表示在一个transition里有多少个tokens在传递，采用了有weighted的edges。weight由整数来表示。