composite operators
sequence
--
[Action_1,...,Action_{n}]
parallel
--
parallel([Action_1,...,Action_{n}])
choice
--
disjunct([Action_1,...,Action_{n}])
repeat
--
repeat(Action,k)