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

✍ Scribed by Claude Girault, Rüdiger Valk (auth.)

Publisher: Springer-Verlag Berlin Heidelberg
Year: 2003
Tongue: English
Leaves: 601
Edition: 1
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

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 of 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.

✦ Table of Contents

Front Matter....Pages I-XVI
Introduction: Purpose of the Book....Pages 1-4
Front Matter....Pages 5-5
Introduction....Pages 7-8
Essential Features of Petri Nets....Pages 9-28
Intuitive Models....Pages 29-40
Basic Definitions....Pages 41-51
Properties....Pages 53-72
Overview of the Book....Pages 73-77
Front Matter....Pages 79-79
Introduction....Pages 81-83
Modelling and Analysis Techniques by Example....Pages 85-103
Techniques....Pages 105-117
Methods....Pages 119-157
Case Studies....Pages 159-178
Conclusion....Pages 179-179
Front Matter....Pages 181-181
Introduction: Issues in Verification....Pages 183-200
State-Space-Based Methods and Model Checking....Pages 201-275
Structural Methods....Pages 277-316
Deductive and Process-Algebra-Based Methods....Pages 317-397
Conclusion....Pages 399-400
Front Matter....Pages 401-401
Introduction....Pages 403-403
Systems Engineering and Validation....Pages 405-415
Front Matter....Pages 401-401
Net Execution....Pages 417-431
Code Generation....Pages 433-467
Conclusion....Pages 469-470
Front Matter....Pages 471-471
Introduction....Pages 473-477
Flexible Manufacturing Systems....Pages 479-506
Workflow Systems....Pages 507-540
Telecommunications Systems....Pages 541-566
Conclusion....Pages 567-569
Back Matter....Pages 571-607

✦ Subjects

Software Engineering/Programming and Operating Systems; Computation by Abstract Devices; Logics and Meanings of Programs; Computer Communication Networks; Communications Engineering, Networks; Business Information Systems

📜 SIMILAR VOLUMES

Petri Nets: Fundamental Models, Verifica

📁 Petri Nets: Fundamental Models, Verification and Applications

✍ Michel Diaz 📂 Library 📅 2009 🏛 Wiley-ISTE 🌐 English

A Petri net is a mathematical representation of a network. This book first introduces the basic models including time and stochastic extensions, in particular place-transition and high level Petri nets. Their modeling and design capabilities are illustrated by a set of representations of interest in

Petri Nets: Theoretical Models and Analy

📁 Petri Nets: Theoretical Models and Analysis Methods for Concurrent Systems

✍ Guanjun Liu 📂 Library 📅 2022 🏛 Springer 🌐 English

<p><span>This book provides essential information on Petri net theory and Petri net-based model checking methods. As for the Petri net theory, it involves the interleaving semantics and concurrency semantics of elementary net systems, some important net structures (e.g., invariant, repetitive vector

Petri Nets. Theoretical Models and Analy

📁 Petri Nets. Theoretical Models and Analysis Methods for Concurrent Systems

✍ Guanjun Liu 📂 Library 📅 2022 🏛 Springer 🌐 English

Petri Nets for Modeling of Large Discret

📁 Petri Nets for Modeling of Large Discrete Systems

✍ Reggie Davidrajuh 📂 Library 🏛 Springer Singapore 🌐 English

ASIC and FPGA Verification: A Guide to C

📁 ASIC and FPGA Verification: A Guide to Component Modeling (Systems on Silicon)

✍ Richard Munden 📂 Library 📅 2004 🏛 Morgan Kaufmann 🌐 English

Richard Munden demonstrates how to create and use simulation models for verifying ASIC and FPGA designs and board-level designs that use off-the-shelf digital components. Based on the VHDL/VITAL standard, these models include timing constraints and propagation delays that are required for accurate v

Modeling and Simulation Support for Syst

📁 Modeling and Simulation Support for System of Systems Engineering Applications

✍ Larry B. Rainey, Andreas Tolk 📂 Library 📅 2015 🏛 Wiley 🌐 English

<p><i>“...a much-needed handbook with contributions from well-chosen practitioners. A primary accomplishment is to provide guidance for those involved in modeling and simulation in support of Systems of Systems development, more particularly guidance that draws on well-conceived academic research to