Preface |
|
xi | |
Introduction |
|
xiii | |
1 What Is PROOF Animation? |
|
1 | (14) |
|
|
1 | (11) |
|
|
1 | (1) |
|
1.1.2 Practice with PROOF Animation |
|
|
1 | (2) |
|
|
3 | (2) |
|
1.1.4 Making the Static Layout |
|
|
5 | (7) |
|
|
12 | (1) |
|
|
12 | (3) |
2 Drawing a Layout |
|
15 | (14) |
|
|
15 | (4) |
|
|
19 | (1) |
|
|
20 | (1) |
|
|
21 | (1) |
|
|
22 | (3) |
|
|
25 | (1) |
|
2.7 Study of TIME and SPEED |
|
|
26 | (1) |
|
|
27 | (2) |
3 More on Layouts I |
|
29 | (18) |
|
|
29 | (4) |
|
|
33 | (3) |
|
|
36 | (1) |
|
3.4 Moving the Grid Coordinates |
|
|
37 | (2) |
|
3.5 Changing the Colours of Objects |
|
|
39 | (1) |
|
|
40 | (7) |
4 More on Layouts II |
|
47 | (12) |
|
|
47 | (5) |
|
4.2 Non-Closed Circular Paths |
|
|
52 | (1) |
|
|
53 | (2) |
|
4.4 The DESTROY Command in PROOF |
|
|
55 | (1) |
|
|
56 | (3) |
5 Some PROOF Icons |
|
59 | (16) |
|
5.1 The SET Command and More PROOF Icons |
|
|
59 | (2) |
|
5.2 Other Forms of the SET Command |
|
|
61 | (1) |
|
|
62 | (2) |
|
|
64 | (1) |
|
5.5 More PROOF Icons: Navigating the Top Menu Bar |
|
|
64 | (7) |
|
|
64 | (1) |
|
|
65 | (1) |
|
|
66 | (3) |
|
|
69 | (1) |
|
|
69 | (1) |
|
|
70 | (1) |
|
|
71 | (4) |
6 More PROOF Icons |
|
75 | (22) |
|
6.1 More PROOF Icons: Navigating the Lower Menu Bar |
|
|
75 | (16) |
|
|
75 | (1) |
|
|
75 | (1) |
|
|
76 | (1) |
|
6.1.4 Dragging the Zoom Icon |
|
|
76 | (1) |
|
|
77 | (1) |
|
|
78 | (1) |
|
|
79 | (1) |
|
|
80 | (1) |
|
|
80 | (1) |
|
|
81 | (3) |
|
6.1.11 Fillet and Text Icons |
|
|
84 | (1) |
|
|
85 | (3) |
|
6.1.12.1 Putting a Message on the Screen |
|
|
87 | (1) |
|
6.1.13 Layout Objects Icon |
|
|
88 | (63) |
|
6.1.13.1 The ROTATE Command |
|
|
90 | (1) |
|
|
91 | (6) |
7 Introduction to the GPSS/H Simulation Language |
|
97 | (18) |
|
7.1 Introduction to General Purpose Simulation System Version H |
|
|
97 | (1) |
|
7.2 Rules for Writing Code in GPSS/H |
|
|
98 | (2) |
|
7.3 Continuing a Line of Code |
|
|
100 | (1) |
|
7.4 Running a GPSS/H Program |
|
|
100 | (1) |
|
|
100 | (2) |
|
7.6 Running Programs Using the Command Prompt-Up to Windows 7 |
|
|
102 | (2) |
|
7.7 Running Programs from Windows 7 and Higher |
|
|
104 | (3) |
|
7.8 Making Changes to a GPSS/H Program |
|
|
107 | (1) |
|
7.9 Giving Names in GPSS/H |
|
|
107 | (1) |
|
|
108 | (1) |
|
|
109 | (1) |
|
7.12 The SIMULATE Statement |
|
|
110 | (1) |
|
|
110 | (1) |
|
|
110 | (1) |
|
|
111 | (4) |
8 The GENERATE Block and Transactions |
|
115 | (22) |
|
|
115 | (1) |
|
8.2 The Internal GPSS/H Clock |
|
|
116 | (1) |
|
8.3 Creating Transactions |
|
|
117 | (2) |
|
|
119 | (2) |
|
8.5 A Word about Random Numbers |
|
|
121 | (1) |
|
8.6 Results of Simulation Programs |
|
|
122 | (1) |
|
8.7 More General Cases of the GENERATE Block |
|
|
123 | (3) |
|
|
126 | (2) |
|
|
128 | (1) |
|
|
128 | (2) |
|
|
130 | (2) |
|
|
132 | (1) |
|
|
133 | (4) |
9 ADVANCE and TRANSFER Blocks |
|
137 | (14) |
|
|
137 | (2) |
|
9.2 A Caution in Writing Programs |
|
|
139 | (2) |
|
|
141 | (1) |
|
9.4 Unconditional TRANSFER Mode |
|
|
142 | (4) |
|
9.5 The Conditional TRANSFER Block |
|
|
146 | (1) |
|
|
147 | (4) |
10 Making .ATF Files |
|
151 | (20) |
|
10.1 Making .ATF Files, PUTSTRING, BPUTSTRING, BPUTPIC, PUTPIC, and Standard Numerical Attributes |
|
|
151 | (16) |
|
10.1.1 The PUTSTRING Statement |
|
|
151 | (2) |
|
10.1.2 The PUTPIC Statement and the BPUTPIC Block |
|
|
153 | (2) |
|
10.1.3 The PUTPIC Statement |
|
|
155 | (1) |
|
10.1.4 Making .ATF Files: The FILEDEF Statement |
|
|
156 | (2) |
|
10.1.5 Some Common Standard Numerical Attributes |
|
|
158 | (9) |
|
|
167 | (4) |
11 QUEUE/DEPART Blocks |
|
171 | (12) |
|
|
171 | (9) |
|
|
171 | (2) |
|
|
173 | (7) |
|
|
180 | (1) |
|
|
181 | (2) |
12 SEIZE/RELEASE Blocks |
|
183 | (16) |
|
12.1 SEIZE and RELEASE Blocks |
|
|
183 | (13) |
|
|
183 | (4) |
|
12.1.1.1 SNAs Associated with the SEIZE Block |
|
|
186 | (1) |
|
|
187 | (9) |
|
|
196 | (3) |
13 Arithmetic in GPSS/H |
|
199 | (18) |
|
13.1 Ampervariables in GPSS/H |
|
|
199 | (1) |
|
13.2 Arithmetic in GPSS/H |
|
|
200 | (1) |
|
13.3 The LET Statement and the BLET Block |
|
|
201 | (1) |
|
13.4 Another Important SNA |
|
|
202 | (11) |
|
|
213 | (4) |
14 ENTER/LEAVE Blocks |
|
217 | (12) |
|
14.1 The ENTER and LEAVE Blocks |
|
|
217 | (10) |
|
14.1.1 Multiple Servers-The ENTER Block |
|
|
217 | (1) |
|
14.1.2 Defining the Number of Multiple Servers-The STORAGE Statement |
|
|
218 | (3) |
|
14.1.3 SNAs Associated with Storages |
|
|
221 | (1) |
|
|
222 | (5) |
|
|
227 | (2) |
15 Other Forms of the TRANSFER Block |
|
229 | (22) |
|
15.1 Several Other Forms of the TRANSFER Block |
|
|
229 | (17) |
|
15.1.1 TRANSFER BOTH Block |
|
|
229 | (2) |
|
15.1.2 The TRANSFER ALL Block |
|
|
231 | (5) |
|
15.1.3 The PROOF Command PLACE (object) IN (layout object) |
|
|
236 | (10) |
|
|
246 | (5) |
16 The TEST Block |
|
251 | (18) |
|
|
251 | (1) |
|
16.2 The TEST Block in Refusal Mode |
|
|
252 | (6) |
|
16.3 TEST Block in Normal Mode |
|
|
258 | (8) |
|
|
266 | (3) |
17 Standard Numerical Attributes |
|
269 | (10) |
|
17.1 More on Standard Numerical Attributes |
|
|
269 | (1) |
|
|
270 | (7) |
|
|
277 | (2) |
18 Functions |
|
279 | (18) |
|
|
279 | (16) |
|
18.1.1 Commonly Used Built-In Functions |
|
|
279 | (1) |
|
18.1.2 Poisson (Exponential) Distribution |
|
|
280 | (1) |
|
18.1.3 Normal (Gaussian) Distribution |
|
|
280 | (1) |
|
18.1.4 The Triangular Distribution |
|
|
281 | (2) |
|
18.1.5 User-Supplied Functions |
|
|
283 | (4) |
|
|
287 | (1) |
|
18.1.7 Continuous Functions |
|
|
287 | (1) |
|
18.1.8 Other Forms of Functions |
|
|
288 | (2) |
|
18.1.9 A Special Case of Functions |
|
|
290 | (5) |
|
|
295 | (2) |
19 Parameters |
|
297 | (28) |
|
|
297 | (2) |
|
|
299 | (2) |
|
19.3 A Caution in Using the ADVANCE Block |
|
|
301 | (1) |
|
19.4 The ASSIGN Block in Increment or Decrement Mode |
|
|
302 | (1) |
|
19.5 The TRANSFER , FN(label) Block |
|
|
303 | (18) |
|
19.6 General Form of the ASSIGN Block |
|
|
321 | (1) |
|
|
321 | (4) |
20 More on Parameters |
|
325 | (22) |
|
20.1 More on Parameters: The LOOP Block EQU Statement |
|
|
325 | (18) |
|
|
332 | (4) |
|
20.1.2 The EQU Compiler Directive |
|
|
336 | (7) |
|
|
343 | (4) |
21 TABLES |
|
347 | (20) |
|
|
347 | (1) |
|
|
348 | (1) |
|
|
349 | (2) |
|
21.4 Standard Numerical Attributes Associated with Tables |
|
|
351 | (2) |
|
|
351 | (2) |
|
|
353 | (3) |
|
|
356 | (9) |
|
|
356 | (1) |
|
|
357 | (1) |
|
|
358 | (7) |
|
|
365 | (2) |
22 LOGIC Switches and the GATE Block |
|
367 | (20) |
|
22.1 LOGIC Switches and the GATE Block |
|
|
367 | (14) |
|
|
367 | (2) |
|
|
369 | (18) |
|
22.1.2.1 The GATE Block in Conditional Transfer Mode |
|
|
371 | (10) |
|
22.2 Another Form of the TRANSFER Block |
|
|
381 | (3) |
|
|
384 | (3) |
23 Miscellaneous Statements |
|
387 | (22) |
|
23.1 DO LOOPS, IF, GOTO, and LET Statements |
|
|
387 | (19) |
|
23.1.1 The GPSS/H DO LOOP |
|
|
387 | (4) |
|
23.1.2 The GETLIST Statement |
|
|
391 | (1) |
|
23.1.3 The IF, GOTO, and HERE Statements in GPSS/H |
|
|
392 | (14) |
|
|
406 | (3) |
24 The SELECT and COUNT Blocks |
|
409 | (20) |
|
|
409 | (6) |
|
|
415 | (1) |
|
24.3 Other Forms of the SELECT and COUNT Blocks |
|
|
415 | (11) |
|
24.3.1 The SELECT Block in MIN/MAX Mode |
|
|
415 | (1) |
|
24.3.2 Use with Logic Switches |
|
|
416 | (1) |
|
24.3.3 Use with Facilities and Storages |
|
|
416 | (10) |
|
|
426 | (3) |
25 Variables and Expressions |
|
429 | (18) |
|
25.1 Variables and Expressions |
|
|
429 | (16) |
|
25.1.1 Arithmetic in GPSS/H (Review) |
|
|
429 | (2) |
|
|
431 | (2) |
|
|
433 | (1) |
|
25.1.4 Relational (Comparison) Operators |
|
|
434 | (1) |
|
|
434 | (2) |
|
|
436 | (1) |
|
25.1.7 Referencing Boolean Variables |
|
|
437 | (1) |
|
25.1.8 Rules for Evaluation of Boolean Expressions |
|
|
437 | (8) |
|
|
445 | (2) |
26 The BUFFER Block |
|
447 | (24) |
|
26.1 The BUFFER Block and the SPLIT Block |
|
|
447 | (23) |
|
|
447 | (5) |
|
|
452 | (16) |
|
26.1.3 The SPLIT Block Serialization Option |
|
|
468 | (2) |
|
|
470 | (1) |
27 The ASSEMBLY Block |
|
471 | (22) |
|
|
471 | (1) |
|
|
472 | (19) |
|
|
491 | (2) |
28 MATCH, GATHER, and PREEMPT Block |
|
493 | (16) |
|
28.1 MATCH, GATHER, and PREEMPT Blocks |
|
|
493 | (14) |
|
|
493 | (4) |
|
|
497 | (1) |
|
|
497 | (6) |
|
28.1.4 The PREEMPT PR Option |
|
|
503 | (4) |
|
|
507 | (2) |
29 MACROs |
|
509 | (14) |
|
29.1 MACROs in GPSS/H Subroutines |
|
|
509 | (12) |
|
|
509 | (5) |
|
|
514 | (7) |
|
|
521 | (2) |
30 A Few More PROOF Icons |
|
523 | (12) |
|
30.1 A Few More PROOF Icons |
|
|
523 | (10) |
|
|
523 | (4) |
|
|
527 | (1) |
|
|
528 | (4) |
|
|
532 | (1) |
|
|
533 | (2) |
31 SAVEVALUES |
|
535 | (12) |
|
|
535 | (1) |
|
|
536 | (2) |
|
31.3 The FIX and FLT Mode Conversion |
|
|
538 | (1) |
|
31.4 The INITIAL Statement |
|
|
539 | (1) |
|
31.5 Effect of RESET and CLEAR on SAVEVALUES |
|
|
540 | (7) |
Index |
|
547 | |