问理论petri网和BPMN工作流到底有什么区别？

EN

Petri网是模拟场所/变迁流的一个非常基本的概念。根据维基百科( Wikipedia )描述分布式系统的说法，如今，Petri网可能主要用于学术界和/或低级计算机科学/软件开发。

BPMN2.0是一种规范，定义了业务流程建模表示法及其在XML中的表示形式。因此，BPMN2.0正在超越计算机科学/软件开发的范围。BPMN流程在一定程度上类似于Petri网的行为。但是，BPMN2.0提供了一组更全面的元素，远远超出了仅仅定义位置/转换流的范围，而且还提供了更多的元素来表示流行为。

有了它们的简单元素集，Petri网被设计成数学上的形式化，而BPMN2.0是用XML形式化的(参见上文)。

虽然BPMN2.0可以用于建模分布式信息系统(通常是在没有人会考虑使用Petri网的情况下)，但人们永远不会使用Petri网来建模业务流程。需要注意的是，对于不了解BPMN的人来说，建模良好的BPMN流程是可以理解的，因为BPMN2.0是一种高级表示法，并且相对接近于对流程流的直观理解。

所以：

Petri网=低级，计算机科学，数学形式化

BPMN =高级，业务流程管理，用XML形式化

编辑:在BPM模拟或执行上下文中，将BPMN图映射到Petri网(或：工作流网)以确定诸如可达性之类的数学属性是非常有用的。

Petri网是一种用网元描述系统的方法。有四种类型的网络元素:地点，过渡，输入和输出。输入将一个地方连接到一个转换。输出连接到某个位置的转换。net元素可能有零个或多个注释。注释可以是任何类型的信息。

例如，考虑一个具有以下属性注释1的Petri网:每个place元素都有一个标记(一个可以大于或等于零的数量)，2)每个转换都有一个状态(一个可以是真或假的数量)，3)每个输入都有一个状态(一个可以是真假的)和一个权重(一个数量可以大于或等于零)，以及4)每个输出都有一个权重(可以大于零的数量)。

此外，每个输入都有一个状态更新逻辑:如果输入的权重大于或等于位置的标记，则状态为true；否则，状态为false。每个转换也有一个状态更新逻辑:如果转换的每个输入的状态为真，那么转换的状态也是真的。

此外，每个输入都具有地标更新逻辑：(输入)位置的标记等于该位置的标记减去输入的权重。每个输出都有一个地标更新逻辑：(输出)位置的标记等于该位置的标记加上输出的权重。每个转换都有一个地标更新逻辑:调用每个输入和转换的每个输出的地标更新。

此外，每个网元都有一个图形显示注释:一个地方是一个圆圈，一个过渡是一个正方形，一个输入是从一个圆圈到一个正方形的箭头，一个输出是一个从一个正方形到一个圆圈的箭头。如果一个地方的标志是1，它是一个黑点；如果这个地方的标志是2，它是两个黑点；等等，如果一个过渡状态是真的，它是绿色的。如果转换的状态为假，则它没有颜色。

在过去的几年中，大多数的注解都是由几个Petri网研究者定义的。Carl识别了网络元素，提出了注释系统，并定义了第一组具有实际应用价值的注释。Anatol Holt创造了“地点”、“过渡”、“输入”、“输出”和"Petri网“。霍尔特也在许多方面为"Petri网“的发展做出了贡献。

我使用网络元素来组织需求或计算机程序。将需求或计算机程序作为网络元素的注释添加。

可以将BPMN的符号看作是可用于查看Petri网的“高级”符号。

我想补充一点，你可以用图和petri网理论从数学的角度来分析BPMN模型。