diff --git a/snippets/COORDINATE/Conditional_Coordination.mp b/snippets/COORDINATE/Conditional_Coordination.mp new file mode 100644 index 0000000000000000000000000000000000000000..d514aef45bc88536eb6fb6d432ae27e177bb67c7 --- /dev/null +++ b/snippets/COORDINATE/Conditional_Coordination.mp @@ -0,0 +1,9 @@ +/* Conditional coordination adding precedence relation + only if event B is present in a trace (MP Manual section 4.7) + ROOT R1: (A | B | C); + ROOT R2: D; */ + +IF #B > 0 THEN + COORDINATE $x: B, $y: D + DO ADD $x PRECEDES $y; OD; +FI;