Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications

Front Cover
Springer Science & Business Media, 2003 - Business & Economics - 607 pages
Formal methods for the specification and verification of hardware and software systems are becoming more and more important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods, based on Petri net formalisms. It contains a collection of examples arising from different fields, such as flexible manufacturing, telecommunication and workflow management systems.
The book covers the main phases in the life cycle of design and implementation of a system, i.e., specification, model checking techniques for verification, analysis of properties, code generation, and execution of models. These techniques and their tool support are discussed in detail including practical issues. Amongst others, fundamental concepts such as composition, abstraction, and reusability of models, model verification, and verification of properties are systematically introduced.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

IV
7
V
9
VI
10
VII
12
VIII
15
IX
18
X
23
XI
29
CXXVIII
328
CXXIX
334
CXXX
337
CXXXI
338
CXXXII
341
CXXXIV
342
CXXXV
347
CXXXVI
351

XIII
32
XIV
34
XV
38
XVI
41
XVIII
43
XIX
53
XX
54
XXI
58
XXII
60
XXIII
68
XXIV
73
XXV
79
XXVI
81
XXVII
85
XXIX
92
XXX
97
XXXI
105
XXXIII
108
XXXV
110
XXXVI
111
XXXVII
112
XXXIX
115
XL
116
XLI
117
XLII
119
XLIII
120
XLIV
123
XLV
124
XLVI
133
XLVII
134
XLVIII
135
L
137
LI
142
LII
145
LIII
146
LV
148
LVI
152
LVII
157
LVIII
159
LIX
162
LXII
166
LXV
170
LXVI
172
LXVII
173
LXIX
175
LXX
176
LXXII
179
LXXIII
181
LXXIV
183
LXXV
184
LXXVIII
185
LXXIX
187
LXXX
188
LXXXI
190
LXXXII
197
LXXXIII
199
LXXXIV
201
LXXXV
202
LXXXVI
204
LXXXVII
215
LXXXVIII
218
LXXXIX
219
XC
223
XCI
227
XCII
229
XCIII
231
XCIV
239
XCV
241
XCVII
259
XCVIII
260
XCIX
266
C
267
CII
268
CIII
273
CV
274
CVI
277
CVII
278
CVIII
280
CIX
281
CX
285
CXI
287
CXII
288
CXIII
292
CXIV
295
CXV
297
CXVI
299
CXVII
300
CXVIII
303
CXIX
304
CXX
306
CXXII
307
CXXIII
312
CXXIV
317
CXXV
318
CXXVI
320
CXXVII
324
CXXXVII
353
CXXXVIII
359
CXXXIX
360
CXL
361
CXLII
362
CXLIII
364
CXLIV
367
CXLV
368
CXLVI
370
CXLVII
371
CXLVIII
374
CXLIX
375
CL
377
CLII
381
CLIII
382
CLV
384
CLVI
385
CLVII
388
CLVIII
397
CLIX
399
CLX
401
CLXI
403
CLXII
405
CLXIV
406
CLXV
408
CLXVII
409
CLXVIII
410
CLXIX
411
CLXX
412
CLXXI
417
CLXXII
420
CLXXIII
421
CLXXIV
427
CLXXV
428
CLXXVI
429
CLXXVII
431
CLXXVIII
433
CLXXIX
435
CLXXXI
437
CLXXXII
440
CLXXXIV
441
CLXXXV
442
CLXXXVI
443
CLXXXVII
445
CLXXXVIII
446
CLXXXIX
448
CXCI
453
CXCII
454
CXCIII
459
CXCIV
461
CXCV
462
CXCVII
463
CXCVIII
466
CXCIX
467
CC
469
CCI
471
CCII
473
CCIII
474
CCV
475
CCVII
476
CCVIII
479
CCIX
484
CCX
490
CCXII
494
CCXIII
497
CCXIV
505
CCXV
507
CCXVI
510
CCXVII
512
CCXVIII
513
CCXX
516
CCXXI
517
CCXXII
520
CCXXIV
522
CCXXV
523
CCXXVI
524
CCXXVII
530
CCXXVIII
537
CCXXIX
539
CCXXX
541
CCXXXI
542
CCXXXII
543
CCXXXIII
545
CCXXXV
547
CCXXXVII
553
CCXXXVIII
557
CCXXXIX
559
CCXL
560
CCXLI
561
CCXLII
562
CCXLIII
566
CCXLIV
567
CCXLV
568
CCXLVI
571
CCXLVII
601
Copyright

Other editions - View all

Common terms and phrases

Popular passages

Page xv - Eindhoven University of Technology, Department of Mathematics and Computing Science, PO Box 513, 5600 MB Eindhoven, The Netherlands J.