Analysis of Distributed Systems

(1)

Created by XMLmind XSL-FO Converter.

Analysis of Distributed Systems

Tejfel, Máté

(2)

Analysis of Distributed Systems

írta Tejfel, Máté Publication date 2014

(3)

iii

Tartalom

Analysis of Distributed Systems ... 1

1. 1 Definition of Petri nets ... 1

2. 2 Behavioral properties ... 9

3. 3 Analysis methods ... 16

4. 4 Classification of Petri nets ... 25

5. 5 Coloured Petri nets ... 32

6. 6 Labelled Petri nets ... 39

7. 7 Petri Boxes ... 44

8. 8 Operator Boxes I. ... 50

9. 9 Operator Boxes II. ... 55

10. 10 Labelled Transition Systems ... 61

11. 11 Communicating Sequential Processes ... 68

12. 12 Axiomatic Semantics of CSP ... 74

13. 13 Denotational Semantics of CSP ... 82

14. 14 Communication in CSP ... 89

15. 15 Literature ... 95

16. 16 Exercises ... 96

17. 17 Solutions to the Exercises ... 154

(4)

(5)

1

Analysis of Distributed Systems

1. 1 Definition of Petri nets

(6)

Analysis of Distributed Systems

(7)

3

(8)

(9)

5

(10)

(11)

7

(12)

(13)

9

2. 2 Behavioral properties

(14)

(15)

11

(16)

(17)

13

(18)

(19)

15

(20)

3. 3 Analysis methods

(21)

17

(22)

(23)

19

(24)

(25)

21

(26)

(27)

23

(28)

(29)

25

4. 4 Classification of Petri nets

(30)

(31)

27

(32)

(33)

29

(34)

(35)

31

(36)

5. 5 Coloured Petri nets

(37)

33

(38)

(39)

35

(40)

(41)

37

(42)

(43)

39

6. 6 Labelled Petri nets

(44)

(45)

41

(46)

(47)

43

(48)

7. 7 Petri Boxes

(49)

45

(50)

(51)

47

(52)

(53)

49

(54)

8. 8 Operator Boxes I.

(55)

51

(56)

(57)

53

(58)

(59)

55

9. 9 Operator Boxes II.

(60)

(61)

57

(62)

(63)

59

(64)

(65)

61

10. 10 Labelled Transition Systems

(66)

(67)

63

(68)

(69)

65

(70)

(71)

67

(72)

11. 11 Communicating Sequential Processes

(73)

69

(74)

(75)

71

(76)

(77)

73

(78)

12. 12 Axiomatic Semantics of CSP

(79)

75

(80)

(81)

77

(82)

(83)

79

(84)

(85)

81

(86)

13. 13 Denotational Semantics of CSP

(87)

83

(88)

(89)

85

(90)

(91)

87

(92)

(93)

89

14. 14 Communication in CSP

(94)

(95)

91

(96)

(97)

93

(98)

(99)

95

15. 15 Literature

(100)

16. 16 Exercises

(101)

97

(102)

(103)

99

(104)

(105)

101

(106)

(107)

103

(108)

(109)

105

(110)

(111)

107

(112)

(113)

109

(114)

(115)

111

(116)

(117)

113

(118)

(119)

115

(120)

(121)

117

(122)

(123)

119

(124)

(125)

121

(126)

(127)

123

(128)

(129)

125

(130)

(131)

127

(132)

(133)

129

(134)

(135)

131

(136)

(137)

133

(138)

(139)

135

(140)

(141)

137

(142)

(143)

139

(144)

(145)

141

(146)

(147)

143

(148)

(149)

145

(150)

(151)

147

(152)

(153)

149

(154)

(155)

151

(156)

(157)

153

(158)

17. 17 Solutions to the Exercises

(159)

155

(160)

(161)

157

(162)

(163)

159

(164)

(165)

161

(166)

(167)

163

(168)

(169)

165

(170)

(171)

167

(172)

(173)

169

(174)

(175)

171

(176)

(177)

173

(178)

(179)

175

(180)

(181)

177

(182)

(183)

179

(184)

(185)

181

(186)

(187)

183

(188)

(189)

185

(190)

(191)

187

(192)

(193)

189

(194)

(195)

191

(196)

(197)

193

(198)

(199)

195

(200)