I can't recommend any particular tool but from my studies I remember that the lecturers used a self programmed tool similar to a petri net simulator. Such simulators are nowadays freely available. Get an impression here: http://www.youtube.com/watch?v=-1aWx_n2ykU