Advanced Programming: Concurrency, Lab 6
Look at the FSP examples from Chapter 5, using the LTSA tool:
CarPark
Semaphore
SemaDemo
BoundedBuffer
BoundedBuffer_fixedSema
BoundedBuffer_nestedSema
Look at the example Java animations for Chapter 5.