**********************************************************************
Errata for PhD thesis _Verification of the WAP Transaction Layer using
Coloured Petri Nets_ by Steven Gordon, 24 November 2001. 
**********************************************************************

If you know of any errors or have comments, please send them to me at 
steve@sandilands.info

Note 1: page numbers are not given because the thesis is in different 
formats (double sided, single sided, double space, ...) and the numbers 
may not correspond to all verisons.

======================================================================
The following errors/clarifications/comments are due to Yu-Tong He from 
McMaster University, Canada:

----------------------------------------------------------------------
1.1 14-Jun-2002 

In Table 7.6 the last line, _Start timer, W_, should not be present.  This
is an addition to Table B.7 that is not introduced until Table 8.17 (last
line of Entry 8). 

----------------------------------------------------------------------
1.2 14-Jun-2002

The caption of Table 8.21 should be: 

Entry 3 of the TR-Resp-PE TIDOK WAIT state table (Table B.6) modified to
restrict a TID verification so an Ack(Tok) PDU is not misinterpreted. 

----------------------------------------------------------------------
1.3 14-Jun-2002

Both Tables 7.6 and 8.17 show changes to the _original_ state table, Table
B.7, and hence the union of the changes gives the final changes.  More
specifically, the additions to Entry 8 of Table B.7 to arrive at the final
state table are: 

Generate TR-Abort.ind
Set AbortSent
Start timer, W

(Note error 1.1 above). This is illustrated in the Revised CPN model in 
Figure E.12.

----------------------------------------------------------------------