This model differs somewhat from the other models becuase an application generation system has been used. The submitted set of files included many files that are not actually used in for the crossing and also included several versions of the model. Thes can all be found in the ZIP file:
To better understand the model it was simplified slightly from the submitted file to produce:
SAM1.zip A simplified set of files for SDT.
SAM1_SDT.cif The CIF version of SAM1.
The full set of test files is included in:
The following files are message seqeunce charts as viewable PDF files:
Page