Pointed out elsewhere, but ANI appears to be dead according to its own tutorial[1]. However Funnel[2] by Martin Odersky/EPFL does a similar job, with a more exp

Pointed out elsewhere, but ANI appears to be dead according to its own tutorial[1]. However Funnel[2] by Martin Odersky/EPFL does a similar job, with a more explicit nod to Petri nets which are usually used as the basis for concurrent systems. [1] https://code.google.com/p/anic/wiki/Tutorial https://code.google.com/p/anic/wiki/Tutorial [2] http://lampwww.epfl.ch/funnel/ http://lampwww.epfl.ch/funnel/