For those wondering about practical application, here's two quick examples on use with distributed, problem solving and web applications. They're both doing pre

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://www2.cs.siu.edu/~rahimi/papers/2.pdf http://www.sersc.org/journals/IJGDC/vol8_no5/13.pdf http://www.sersc.org/journals/IJGDC/vol8_no5/13.pdf