I am not completly sure if it is a bug, but
token.getAvailableTransitions()
only returns the "leavingTransitions" of the node, the token is in currently. Shouldn't also the leavingTransitions of the SuperState be recognized?
Somehow related to this JIRA-Issue (which is already fixed):
http://jira.jboss.com:8080/jira/browse/JBPM-259[/url]