Grouping sources in tools (tracelog postprocessing)

[msurkovsky]

Add a possibility to group the sources in tools. When a user starts working with a bigger number of sources, having a possibility to making groups could be very useful. For example, operations returning more than one source could group them automatically.

[spirali]

Just out of curiosity, it is solved somehow in ProM?

[spirali]

Btw: We should also develop a better terminology; "sources" and "tools" are quite generic words:)

[msurkovsky]

add 1), I'm not sure about that, but I find it out soon. I've come across this problem during my work on trace log generator for ProM. My use case is a situation when you want to generate all possible trace logs from state space. In this case, I'd like to work with those as with a one bunch.

add 2), Yes, I agree with this ;-).