Lars, I like the idea of replacing petri nets with a FSM, but I wonder about the idea of dumping graphviz and replacing it with a task-list UI. It's true that graphviz rendered the workflows with curved lines, but overall I thought it still gave a pretty good overview of the workflow structure - especially for complicated workflows. If you switch to using tasks lists will the user still be able to to get a good overview of the workflow structure? I found it hard to compile graphviz, so if you can replace it, I think that's a good thing, but I would still like to see something that is equivalent for graphically representing workflows.