Lei Bu Petri Nets 11 Dining Philosphier 4 States , 5 transitions.
Petri net modeling of biological networks Claudine Chaouiya.