問題タブ [petri-net]

アプリケーションの同時実行/ロックスキームをグラフィカルな方法でモデル化でき、いくつかの側面をシミュレートできる優れたツールはありますか？

ペトリネットは多かれ少なかれそのために使用できることは知っていますが、設計とシミュレーションができる優れたGUIツールはわかりません。

UMLはそのような目的に何らかの形で使用できますか？

良いリンクは大歓迎です。

友人が、「ペトリネットを使用したルールベースの検証」と呼ばれるコンピューターサイエンスの新しい開発について教えてくれました。彼はコンピューターの男ではなくアーティストなので、それは本当に私が見なければならないクールなものなのだろうか? ロシア語で新聞を読んだり翻訳したりしていた彼は、電話で、この素晴らしい新技術は、ルールベースのシステムのコード アーキテクチャを完全に正しく自動的に取得するためのものだと語った。完璧なコーディングを支援する一種の人工知能？わかりません。コンピュータ サイエンスを勉強したことがありません。

私は興味があります: これは一体何なのですか? そして、それはどのように機能しますか？フレームワークに使用できますか?

「ルールベースのシステム」がほとんどすべてだと思います。すべてのコードにはルールがあります。いくつかの有用な答えを願っています。

ペトリネットを描画し、そこからソースコードを生成するためのソフトウェアはありますか？ソースコードは、既知のプログラミング言語であればどれでもかまいません...

少し望ましくないオプションは、ペトリネットグラフの説明のみを含むファイルを、XMLやその他のデータ言語などのオープン形式のテキストベースのファイルで出力することです。その後、自分でコードジェネレーターを作成することもできますが、少なくともGUI/グラフの開発部分は避けたいと思います;））

ありがとう

私の目標は、評価ネット (ペトリ ネットの拡張) 用の Web ベースのエディターを実装することです。しかし、私はそのようなリッチ Web アプリケーションを実装したことがないので、現在適切なツールキットを探しています。現在、GWT を考えていますが、経験がない限り、別のオプションも検討したいと考えています。アドバイスをお待ちしております。

前もって感謝します ;）

ブロッキング関数（Java同期メソッド）へのすべての可能な呼び出しを象徴するグラフを描画し、このグラフにサイクルがない場合、デッドロックが不可能であることを確認できますか？ペトリネットはそのようには機能しませんか？

私はこのような答えを探していません：いくつかのモンスターフレームワークを使用してください。

同期されたメソッドでマルチスレッドを処理したい。

EDIT1：先のとがった矢印は、あるクラスが別のクラスの同期メソッドを呼び出すかどうかを示していますEDIT2：klick @here例、サイクルを示しています

自分のアプリケーションに接続するためのインターフェイスを備えた、PetriNets を描画するための高品質のツールを探しています。PetriNet 抽象化レイヤーがあり、かなり大きなネットをインスタンス化しました。ここで、ソフトウェアのデバッグを容易にするために視覚化したいと考えています。IPC は、名前付きパイプ、ソケットなどを介して行うことができます...それらのいずれかを自分のコードにアタッチできます。

現在、プラットフォームに依存しない Petrinet Editor を使用しています。使用するのは少し面倒ですが、それは仕事をします。ただし、上記のユースケースはありません。

これは利用可能なツールのリストです:
http://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/quick.html

私はペトリネットでプロジェクトを行っています。

UMLツールUmbrelloを使用して、アクティビティ図（.xmi形式）を生成しました。それをペトリネットに変換してから、Petrifyツールを使用して合成する必要があります。ただし、ペトリネットに変換するには、アクティビティ図をXML形式に変換する必要があります。

ペトリネットを使用して合成するには、ペトリネットを.g形式に変換し、その後で.xml形式に変換する必要があります。つまり、ツールUmbrello、UML2owfn、Petrify、PIPEを統合する必要があります。Pythonを使用してこれらのツールを統合するにはどうすればよいですか？

ワークフローネット（ペトリネット）があり、k音が正しいかどうかを確認するアルゴリズムを実装する必要があります。

Javaコードの並行性を分析できるフレームワークまたはアプリケーション（アプリ）/プログラムがあるかどうか疑問に思っていましたか？

ツールがjreで出荷されたクラスとメソッドのすべての実装を知っている場合、同期されたブロックとメソッド、およびそれらの呼び出し階層の単純な分析になります。ここから、ペトリネットを作成し、デッドロックが発生する可能性があるかどうかを確認できます。

私は何かを見逃していますか、それともこれは本当に簡単ですか？それなら、そのようなことをするクールなツールがあるに違いありませんか？または、そのようなツールは、基礎となるプログラム/ビジネスロジックのために完全に保存されている可能性のあるデッドロックが多すぎることを報告しますか？ペトリネットは、これらの状況を処理するのに十分強力である必要がありますか？

これにより、デッドロックの問題に関連する場合と関連しない場合があるバグを検索するための工数を大幅に節約できます。

1-だれか最新のペトリネット エディタを紹介して、テーマを比較できますか?

現在WoPedを使用しています。

2-Petrinet もサポートする UML ツールはありますか?