Just some examples playing around with PIPE, a Petri Net editor and simulator.

http://pipe2.sourceforge.net/

Examples

examples/deadlock_1.xml - illustrate the classic dining philosopher's problem. left and right fork grabbed separately.