Petri nets!

Now we have Petri nets. However, without a view