Jose Costa
Petri Net — 2 Semaphores
Click the buttons to advance the producer-consumer simulation with two semaphores.
Down full
Down rc
Up rc
Up empty
Job outside CR
Down empty
Down rc
Up rc
Up full
Job outside CR