Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and ApplicationsSpringer Science & Business Media, 2003 - 607 pàgines 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. |
Continguts
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 |
601 | |
Altres edicions - Mostra-ho tot
Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and ... Claude Girault,Rüdiger Valk Previsualització limitada - 2013 |
Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and ... Claude Girault,Rüdiger Valk Previsualització no disponible - 2010 |
Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and ... Claude Girault,Rüdiger Valk Previsualització no disponible - 2013 |
Frases i termes més freqüents
abstraction algebraic specification algorithm analysis application approach arcs basic behaviour branching process Büchi automaton business process called chapter client colour domain coloured nets coloured Petri nets complex components concurrent conflict considered construction corresponding critical section deadlock deadlock-freeness defined definition denoted distributed dynamic enabled transitions equations example execution Figure finite formal formula function fusion implementation implicit place incidence matrix initial marking input places instance interface linear algebra linear logic m₁ machine methods model checking morphism multiset node objects obtained OF-Class operation operational semantics p-semiflows P/T nets P₁ parametrised Petri net model place/transition PN-process possible problem process algebra properties protocol prototype reachability graph reachable markings reduction representation represented request resource rewriting rules semantics simulation strongly connected components structure sub-net subclasses symbolic marking synchronisation t₁ task techniques temporal logic terminal tion token transition firings validation variables verification workflow management
Passatges populars
Pàgina xv - Eindhoven University of Technology, Department of Mathematics and Computing Science, PO Box 513, 5600 MB Eindhoven, The Netherlands J.
Referències a aquest llibre
Business Process Management: Concepts, Languages, Architectures Mathias Weske Previsualització limitada - 2007 |