Just some examples playing around with PIPE, a Petri Net editor and simulator.
examples/deadlock_1.xml - illustrate the classic dining philosopher's problem. left and right fork grabbed separately.
Just some examples playing around with PIPE, a Petri Net editor and simulator.
examples/deadlock_1.xml - illustrate the classic dining philosopher's problem. left and right fork grabbed separately.