added ref-place and ref-transition execution support
5 unresolved threads
5 unresolved threads
Compare changes
+ 49
− 11
@@ -2,22 +2,40 @@ aspect Navigation {
@@ -2,22 +2,40 @@ aspect Navigation {
@@ -38,6 +56,21 @@ aspect Navigation {
@@ -38,6 +56,21 @@ aspect Navigation {
@@ -57,4 +90,9 @@ aspect Navigation {
@@ -57,4 +90,9 @@ aspect Navigation {