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