[nickpsecurity]

For those wondering about practical application, here's two quick examples on use with distributed, problem solving and web applications. They're both doing precise models with a focus on deadlock prevention.

http://www2.cs.siu.edu/~rahimi/papers/2.pdf

http://www.sersc.org/journals/IJGDC/vol8_no5/13.pdf