理論的なペトリネットがあります: http://en.wikipedia.org/wiki/Petri_net
そして、BPMN 2.0 として表現されたワークフローがあります。
違いは正確には何ですか？私が質問する理由は、BPMN でモデル化されたビジネス プロセス (平均的な人が気にかけたり使用したりしない) を単純化し、スマートフォンで使用できるように (チェックリストのように) より "1 次元" にしたいからです。チェックリストの他のステップへのグラフベースのフック。私たちのベンチャーは Tallyfy と呼ばれます - https://tallyfy.com
さらに、アプリでプロセスを実行するより厳密な方法として、ペトリネットを使用できるかどうかを確認したいと考えています。
ペトリネットは、場所/遷移の流れをモデル化するための非常に基本的な概念です。分散システムについてのウィキペディアによると、現在、ペトリネットはおそらく主に学界および/または低レベルのコンピューターサイエンス/ソフトウェア開発で使用されています。
BPMN 2.0は、ビジネス プロセス モデリングの表記法とその XML 表現を定義する仕様です。したがって、BPMN 2.0 はコンピュータ サイエンス/ソフトウェア開発の範囲を超えています。BPMN プロセス フローは、ペトリ ネットの動作にある程度似ています。ただし、BPMN 2.0 は、より包括的な要素セットを提供し、単なる場所/遷移フローの定義をはるかに超えており、さらにフロー動作を表現するためのより多くの要素セットを提供しています。
単純な要素セットを持つペトリネットは、数学的に形式化されるように設計されていますが、BPMN 2.0 は XML で形式化されています (上記を参照)。
BPMN 2.0 は分散情報システムのモデル化に使用できますが (通常、誰もペトリ ネットの使用を検討しない状況で)、ビジネス プロセスのモデル化にペトリ ネットを使用することはありません。BPMN 2.0 は高レベルの表記法であり、プロセス フローの直感的な理解に比較的近いため、適切にモデル化された BPMN プロセスは、BPMN を知らない人でも理解できることに注意することが重要です。
そう：
ペトリネット = 低レベル、コンピューターサイエンス、数学的に定式化
BPMN = XML で形式化された高レベルのビジネス プロセス管理
編集: BPM シミュレーションまたは実行コンテキストでは、BPMN ダイアグラムを (自動的に) ペトリ ネット (または:ワークフロー ネット) にマッピングして、到達可能性などの数学的プロパティを決定すると便利です。
ペトリネットは、ネット要素に関するシステムの説明です。ネット エレメントには、プレース、遷移、入力、および出力の 4 つのタイプがあります。入力は場所を遷移に接続します。出力は遷移を場所に接続します。ネット要素には、0 個以上の注釈が含まれる場合があります。注釈は、任意のタイプの情報にすることができます。
たとえば、次のプロパティ アノテーションを持つペトリ ネットを考えてみましょう。 3) 各入力にはステータス (真または偽の量) と重み (ゼロ以上の任意の数) があり、4) 各出力には重み (量) があります。ゼロより大きい場合もあります)。
さらに、各入力にはステータス更新ロジックがあります。入力の重みが場所のマーク以上の場合、ステータスは true です。それ以外の場合、ステータスは false です。各トランジションにもステータス更新ロジックがあります。トランジションのすべての入力のステータスが true の場合、トランジションのステータスも true です。
さらに、各入力には場所マークの更新ロジックがあります。(入力) 場所のマークは、場所のマークから入力の重みを引いたものに等しくなります。各出力には、場所マークの更新ロジックがあります。(出力) 場所のマークは、場所のマークに出力の重みを加えたものに等しくなります。各トランジションには、プレース マーク更新ロジックがあります。トランジションのすべての入力とすべての出力のプレース マーク更新を呼び出します。
さらに、各ネット要素にはグラフィックス表示注釈があります。場所は円、遷移は正方形、入力は円から正方形への矢印、出力は正方形から円への矢印です。場所のマークが 1 の場合、それは 1 つの黒い点です。場所のマークが 2 の場合、それは 2 つの黒い点です。トランジションのステータスが true の場合、緑色です。トランジションのステータスが false の場合、色はありません。
上記の注釈のほとんどは、何年にもわたって何人かのペトリネットの研究者によって定義されてきました。Carl Adam Petri は、ネット要素を特定し、注釈システムを提案し、実用的なアプリケーションを持つ最初の注釈セットを定義しました。アナトール・ホルトは、「場所」、「遷移」、「入力」、「出力」、および「ペトリネット」という用語を作り出しました。ホルトは、「ペトリネット」の開発にも多くの点で貢献しました。
ネット要素を使用して、要件またはコンピューター プログラムを整理します。要件またはコンピュータ プログラムは、注釈としてネット要素に追加されます。
BPMN の表記法は、ペトリネットを表示するために使用できる「高レベル」の表記法と考えることができます。
追加しますが、グラフとペトリネット理論を使用して、数学的観点から BPMN モデルを分析できます。