Remove containment property for concreteTransition
Allow multiple instrument deactivations for one action
Compute all possibles paths in the Link executions tree
- Create a directory demo/dot/interaction/ where graph of Interaction in
.dot format are stored.
- level1.dot and level2.dot are the Link flow graph execution computed
with two level of details
- Add script.sh to convert .dot files in .svg files.