1 Petri Nets I Paul Fishwick author From fishwick/cap4800/pn1.ppt.
Lei Bu Petri Nets 11 Dining Philosphier 4 States , 5 transitions.
Petri Nets Overview 1 Definition of Petri Net C = ( P, T, I, O) Places P = { p 1, p 2, p 3, …, p n } Transitions T = { t 1, t 2, t 3, …, t n } Input.