The following are examples of programs with sample inputs that
have been developed as part of my research. All programs below have
no warranties, and should be used at one's own risk.
This prototype SETL2
the maximum ready simulation
relation between two finite transition processes. A derivation of this
program may be found in the paper
by Bloom and Paige found in the Research Overview of my home page.
Two examples of input found
correspond to problem instances shown in Figure 1.a of that paper.
Anyone who wants to run the program at a site that doesn't have SETL2
can install SETL2 easily by following the instructions found
The APTS homepage is here