Two robots manufacturing system  - by Inhye Kang
-------------------------------

The state machine is given in 
<a href="http://www.cis.upenn.edu/~lee/duncan/examples/two-robots/two-robots.ps.Z"> here.</a>


The following is the versa output for analysis. There is no deadlock.
==============================
State machine contains 23434 reachable states (0 deadlocked), 24427 edges.
Edges represent 22119 timed transitions,
                2308 internal actions, and
                0 external untimed actions.
Time to compute LTS: 42.04 seconds user time; 3.65 seconds system time.