Petri Nets (2)