Marked graph とは

マークされたグラフは、すべての場所がちょうど1つの着信アークと、正確に1つの発信アークを持つペトリネットです。つまり、競合は発生しませんが、並行性がある可能性があります。数学的に: p P : | p | = | p | = 1 {\displaystyle \forall p\in P:|p\bullet |=|\bullet p|=1} 。マークされたグラフは、マルチプロセッサマシンの内部プロセス状態など、同時に実行される操作を数学的に表現するために使用されます。このクラスのペトリネットは、それらを表現する一般的な方法から名前を取得します:各場所がエッジであり、各遷移がノードであるグラフとして。