The examples can be run simply by cutting the text out of the Web page and pasting it into the FSP window of the LTSA tool.
Alternating Bit Protocol
Dining Philosophers
Semaphore
Sieve of Eratosthenes