petri-net

0熱

1答えて

ペトリネットの到達可能性グラフで最終マーキングの数が定義されていないのはなぜですか？

私はいくつかの時間を読んで聞いたことがあります。到達可能性グラフは、特定の種類の遷移システムであり、1つの初期値と未定義番号の最終マーキングがあります。しかし、到達可能性グラフを作成すると、最終的なマーキングのケースが非常に明確になります。これは、トランジションをどのように発生させるかに応じて最終的なマーキングになるかどうかわからないことを意味しますか？最終的なマーキングの数を列挙/カウントで

1熱

1答えて

プレーストランジションネットで使用されるプレース不変条件の理解に役立つ

与えられたプレーストランジションネットのマーキングがわかっているとします。マーキングのいずれがプレース不変であるかはどのようにして決定しますか？私はまた、最初のマーキングを知っています。私は非常に分かりやすい説明に感謝します。私はthis paperの17ページを読んでいます。ここでは、不変式を見つけるための式が記述されていますが、完全に理解できません。単に不変な場所が何であるか教えてくださ

-1熱

1答えて

ツールは、私が仕事で社内ワークフローの基礎として使用するペトリネットエンジンを構築するように求めてきたSVG

としてペトリネットを生成します。これまでのところ、私はすべてのロジックと行動を生成することができました（私は、ルールや条件をテストするためのワークフローの「サービスデスク」タイプを作成している）、それはすべてOKに動作します。痛みのビットであることを証明しています何かが、しかし、ペトリネットを可視化し、この可視化を自動化です。私は次のようにSVG-図面の図のルーチンを見てとってきた： htt

3熱

1答えて

pnmlのJavaコードを使用して色付きペトリネットを表現する

色付きペトリネット（CP-Net）を書くとき、PNMLの次の例のような宣言セクションでJavaコードを使用できますか？この部分も？次の例はXML表現ですが、同じ方法でpnmlで表現できますか？いいえ、どうすればいいですか？おかげで、 <?xml version="1.0" encoding="UTF-8" standalone="no"?> <pnml> <net id="n1">

3熱

4答えて

ペトリネットエディタ

1 - 近代的なペトリネットエディタを紹介し、テーマを比較できる人は誰ですか？現在、私はWoPeDを使用しています。 2ペトリネットをサポートするUMLツールはありますか？

0熱

1答えて

ランダム値のトークンの作成

以下に示すペトリネットでは、rand（）関数が機能していないため、ランダムな値のトークンをinput2に作成するのに問題があります。それを行う他の方法はありますか？

1熱

1答えて

Javaでペトリネットを着色するためのバインディングを実装する方法は？

私はJavaでcoloured petri netを実装しています。これは、有限状態オートマトンのようなものです。問題は、私が "バインディング"を実装する方法を知らないことです。言い換えれば、色を場所に割り当て、円弧を円弧に割り当てる必要があります。移行が実行された後、ネットは新しい状態になるはずです。だから、どのようにアークに関数を割り当てるかわかりません。私はここで色のペトリネットの基本を