petri nets

π-translate is a program (and accompanying framework) to convert source code to its equivalent π-calculus representation.