問題タブ [uppaal]

質問する

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

73 問題
Newest
Active
Bountied
318
Unanswered
0 投票する
1 に答える
285 参照

uppaal - UPPAAL: 関数パラメーターとして指定されたクロックには、メソッドまたは属性がありますか?

私は現在 UPPAAL v.4.1.19 を使用しており、クロックを関数パラメーターとして指定できることをヘルプで確認しました。ただし、どのメソッドや属性に関する情報が見つかりませんでした。クロックの下限と上限は、クロックに使用できます。

関数の例:

クロックの下限を取得したり、関数でそれを使って何か他のことをしたりすることは可能ですか?

0 投票する
1 に答える
52 参照

automaton - UPPAAL でオートマトンをリセットするにはどうすればよいですか

UPPAAL モデル チェック ツールでいくつかのオートマトンを作成しましたが、それらの間にダイアログがあります。いずれかでエラーが発生すると、もう一方をリセットする必要があります。すべてのノードが開始ノードに行くようにリターン エッジを設定することはできません。これは、考えられるすべてのエラーに対してガードを設定できないためです。関数などでオートマトンをリセットする方法はありますか? エッジを通過せずに別のノードに移動できますか? ノードから最初のノードに直接、エッジを使用せずにジャンプすることを意味します。ありがとう！

0 投票する
1 に答える
676 参照

function - Uppaal テンプレート パラメーター

私は UPPAAL 4.1.19 を使用しており、このにあるトレイン チュートリアルに従っています。トレーニングテンプレートにパラメータint[0,N] e, const int idを配置し、システム宣言で宣言するTrain1=Train(el, 1);と、システムは に対して「互換性のない引数」エラーを返しますe1。なぜそれが実際に互換性がないのか理解できませんか？Nと同様に、グローバル宣言で 5 に等しい定数として宣言しましたelが、それでも機能しないようです。何か案が？


12345678910