Petri nets. An interactive tutorial

I found a nice interactive tutorial that gives some examples of using Petri nets to model concurrent processes. Here is the famous problem with four philosophers modelled with Petri nets.