Known Errors in Vol.2:
Analysis Methods (1. edition)
The list only contains errors that may influence the understanding of the text. This means that we omit, e.g., trivial spelling mistakes.
Page 14, part (vi) of Prop. 1.15
BE(t) ---> B(t)
Page 24, middle of page
MB ---> MES (twice)
Page 33, second paragraph of Standard Queries
The last 5 lines should read:
........he wants to consider. There are also standard queries to find bounds for an arbitrary set of token elements X. To use these queries the user has to write a function mapping each marking M into (M|X). This is a rather straightforward task and does not require any deep knowledge of SML.
Page 49, Prop 2.9 and line immediately below
symmetry specification ---> equivalence specification. (three times)
Page 50, line 3
symmetry specification ---> equivalence specification.
Page 51, Prop 2.10
symmetry specification ---> equivalence specification. (twice)
Page 81, part (iv) of Def. 3.12
The second a1 in the right-hand part of the equation should be a2
Page 82-83, first line of Def. 3.16 and Theorem 3.17 should read:
..... permutation symmetry specification SG is.... (phi should be removed)
Page 85, part (ii) of Prop. 3.19
BE(t) ---> B(t)
Page 85, parts (ii) and (iv) of Prop. 3.19
The bi-implications <=> should be changed to <=
Page 88, line 6
calculate the OS-graph ---> calculate the labelled OS-graph
Page 89, 4 lines above figure
R9 ---> R5
Page 89, Fig. 3.6
F5 ---> F1
Page 105, line 15
Sect. 4.1 ---> Sect. 4.2
Page 113, incidence matrix
For simplicity, we have assumed that transitions RM and SA have the guard [s <> r]. In this way we avoid bindings that never can occur.
Alternatively, we would have to replace MES with PR in the coloumns for RM
and SA.
Page 122, lines 7, 14, and 24
B(..) ---> C(..) (seven times)
Page 123, line 11 from bottom
w ---> a (second symbol in the righthand side of bi-implication)
Page 129, upper matrix
IdQ ---> IncQ (which maps (q,i) into (q,i+1) and (p,i) into Ø)
IdP ---> IncP (which maps (p,i) into (p,i+1) and (q,i) into Ø)
Page 129, lower matrix
IdP ---> IncP
Reference list
The following references have been updated:
24. K. Jensen, et. al: Design/CPN. A Reference Manual. Meta Software and
Computer Science Department, University of Aarhus, Denmark. On-line
version: http://www.daimi.aau.dk/designCPN/.
25. K. Jensen, et. al.: Design/CPN Occurrence Graph Manual. Meta Software and Computer Science Department, University of Aarhus, Denmark. On-line version: http://www.daimi.aau.dk/designCPN/.
If you find new errors, please send me an e-mail.
Modification Date?