有理论上的 petri 网： http ://en.wikipedia.org/wiki/Petri_net
然后是表示为 BPMN 2.0 的工作流。
究竟有什么区别？我问的原因是我们想要简化以 BPMN 建模的业务流程（普通人不会关心/使用它），并使其更加“一维”，以便在智能手机上使用（如清单），并增加大量额外功能与清单中其他步骤的基于图形的挂钩。我们的企业名为 Tallyfy - https://tallyfy.com
此外——我们想看看我们是否可以使用 petri 网作为在我们的应用程序中执行流程的更严格的方式
Petri 网是建模位置/转换流的一个非常基本的概念。根据描述分布式系统的维基百科，如今，Petri 网可能主要用于学术界和/或低级计算机科学/软件开发。
BPMN 2.0是定义业务流程建模符号及其在 XML 中的表示的规范。因此，BPMN 2.0 超出了计算机科学/软件开发的范围。BPMN 流程在某种程度上类似于 Petri 网的行为。然而，BPMN 2.0 提供了更全面的元素集，远远超出了单纯的位置/转换流的定义，还提供了更多的元素集来表达流行为。
凭借其简单的元素集，Petri 网被设计为在数学上形式化，而 BPMN 2.0 以 XML 形式化（见上文）。
虽然 BPMN 2.0 可用于对分布式信息系统进行建模（通常在没有人考虑使用 Petri 网的情况下），但永远不会使用 Petri 网对业务流程进行建模。重要的是要注意，对于不了解 BPMN 的人来说，建模良好的 BPMN 流程是可以理解的，因为 BPMN 2.0 是一种高级表示法，并且相对接近于对流程流的直观理解。
所以：
Petri 网 = 低级、计算机科学、数学形式化
BPMN = 高级的业务流程管理，以 XML 形式化
编辑：在 BPM 模拟或执行上下文中，将 BPMN 图（自动）映射到 Petri 网（或：工作流网）以确定诸如可达性之类的数学属性可能很有用。
Petri 网是根据网络元素对系统的描述。有四种类型的网络元素：位置、转换、输入和输出。输入将一个地方连接到一个转换。输出将转换连接到位置。一个网络元素可能有零个或多个注释。注释可以是任何类型的信息。
例如，考虑具有以下属性注释的 Petri 网 1) 每个位置元素都有一个标记（可以是大于或等于零的任何数字），2) 每个转换都有一个状态（可以为真的数量或假），3）每个输入都有一个状态（一个可以是真或假的数量）和一个权重（一个可以是大于或等于零的任何数字），以及 4）每个输出都有一个权重（一个数量可以大于零）。
此外，每个输入都有一个状态更新逻辑：如果输入的权重大于或等于该地点的标记，则状态为真；否则，状态为假。每个转换也有一个状态更新逻辑：如果转换的每个输入的状态为真，那么转换的状态也为真。
此外，每个输入都有地点标记更新逻辑：（输入）地点的标记等于地点的标记减去输入的权重。每个输出都有一个地点标记更新逻辑：（输出）地点的标记等于地点的标记加上输出的权重。每个转换都有一个地标更新逻辑：调用转换的每个输入和每个输出的地标更新。
此外，每个网元都有一个图形显示注释：一个地方是一个圆，一个过渡是一个正方形，一个输入是从一个圆到一个正方形的箭头，一个输出是一个从一个正方形到一个圆的箭头。如果一个地方的标记是1，它是一个黑点；如果该地点的标记为2，则为两个黑点；等等。如果转换的状态为真，则为绿色。如果转换的状态为假，则它没有颜色。
上面的大部分注释都是由几位 Petri Net 研究人员在几年内定义的。Carl Adam Petri 确定了网络元素，提出了注释系统，并定义了第一组具有实际应用的注释。Anatol Holt 创造了术语“位置”、“过渡”、“输入”、“输出”和“Petri 网”。霍尔特还以多种方式为“Petri Nets”的发展做出了贡献。
我使用网络元素来组织需求或计算机程序。需求或计算机程序作为注释添加到网络元素。
可以将 BPMN 的符号视为可用于查看 Petri 网的“高级”符号。
我要补充一点，您可以使用图和 petri 网理论从数学角度分析 BPMN 模型。