問題タブ [petri-net]

単調性補題で遭遇したペトリネットを少し調べているときに、次のように述べています。

M と L をネットの 2 つのマーキングとします。

有限数列シグマに対して M->M' の場合、すべてのマーキング L に対して (M+L)->(M'+L) です。

M-> 無限数列シグマの場合、(M+L)-> すべてのマーキング L について

矢印の上部はシグマです。

マーキングに関してM + Lの意味を理解している人はいますか? それらのマーキングを一緒に追加する必要がありますか、それとも M に L を追加するパスですか?

ペトリネット(PN)の有界性についてお聞きしたいです。私が状態を持っているとき、私は状態s1 = (2 0 0)を見つけるs2 = (2 0 1)ので、s1 < s2PNをNOT boundedとして宣言できますか? 私がこのPNを持っているとき：

PN は有界ですが、(2 0 0) < (2 0 1) を見つけることができます。だから私の質問はです。ペトリネットの境界について間違っていますか、それとも写真のPTに何か問題がありますか?

巡回セールスマン問題のペトリネット モデルを描画できますか? ペトリネットで種類の異なる場所を持つことは可能ですか?

私はペトリネットの新人です。ナップザック問題のペトリネット グラフを描画する手順は何ですか?

ペトリネットはこの問題のモデリングに適していますか?

色付きのペトリネットの境界基準 (状態空間が有限であることを意味する) をチェックするアルゴリズムはありますか (または、このプロパティは決定できません)?

ペトリネットを作るのは初めてで、洗濯機をモデリングしたいと思っています。開始しましたが、これまでのところ次のようになっています。

修正やヘルプはありますか？私は明らかにそれが正しくないことを知っていますが、私は初心者であり、皆さんが目にするかもしれない間違いに気づいていません. 前もって感謝します。

ある場所遷移ネットのマーキングを知っているとします。

どのマーキングが場所不変であるかを判断するにはどうすればよいですか? イニシャルマークも分かります。とても分かりやすい説明で助かります。

この論文の 17 ページを読みましたが、場所の不変条件を見つけるための式が記述されていますが、完全には理解していません。

場所不変式とは何かを単純に教えないでください。将来いつでもできるように、それらを見つける方法を教えてください。

一連の場所 (U、V、W、X、Y、Z) の初期マーキング:

• (0,1,1,1,0,0)

その他のマーキング:

1. (0,1,0,0,1,0)
2. (0,1,0,1,0,1)
3. (1,0,0,1,0,0)

ドキュメントは、Symfony ワークフロー コンポーネントが Petri Net に基づいていることを示唆していますが、ドキュメントは、必要なルーティング構造 (AND 分割、AND 結合、OR 分割、および OR 結合) をサポートしているかどうかを判断するのに十分ではありません。並列および反復ルーティング。The Application of Petri Nets to Workflow Managementの「4.2 Routing constructs」の章を参照してください。ワークフロー コンポーネントに関する質問を具体的に言い換えると、ワークフローに条件分岐を追加するにはどうすればよいですか?