Ask HN: What are some systems similar to Dromey behavior trees

I'm interested in knowing of other formal, graphical modelling languages that can be executed and/or easily composed -ex: BT can using specific tools, UML can not AFAIK.