Skip to main content
SpringerLink
Log in
Book cover

Petri Nets for Systems Engineering

A Guide to Modeling, Verification, and Applications

  • Book
  • © 2003

Overview

Authors:
  1. Claude Girault

    1. Lab. LIP6 (CNRS-UMR 7606), University of Paris VI, Paris Cedex 05, France

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Rüdiger Valk

    1. Department of Computer Science, University of Hamburg, Hamburg, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • Offers both practical and theoretical foundations for the use of Petri nets in complex system engineering tasks
  • Bridges the gap between Petri nets and the systems modeling and implementation process

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 79.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 99.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (28 chapters)

  1. Front Matter

    Pages I-XVI
    Download chapter PDF

  2. Introduction: Purpose of the Book

    1. Introduction: Purpose of the Book

      • Claude Girault, Rüdiger Valk
      Pages 1-4

  3. Petri Nets — Basic Concepts

    1. Front Matter

      Pages 5-5
      Download chapter PDF

    2. Introduction

      • Claude Girault, Rüdiger Valk
      Pages 7-8

    3. Essential Features of Petri Nets

      • R. Valk
      Pages 9-28

    4. Intuitive Models

      • R. Valk
      Pages 29-40

    5. Basic Definitions

      • R. Valk
      Pages 41-51

    6. Properties

      • J. M. Colom, M. Silva, E. Teruel
      Pages 53-72

    7. Overview of the Book

      • Claude Girault, Rüdiger Valk
      Pages 73-77

  4. Modelling

    1. Front Matter

      Pages 79-79
      Download chapter PDF

    2. Introduction

      • Claude Girault, Rüdiger Valk
      Pages 81-83

    3. Modelling and Analysis Techniques by Example

      • R. Valk
      Pages 85-103

    4. Techniques

      • M. Voorhoeve
      Pages 105-117

    5. Methods

      • R. Mackenthun, M. Voorhoeve, A. Diagne
      Pages 119-157

    6. Case Studies

      • R. Mackenthun, M. Voorhoeve, A. Diagne
      Pages 159-178

    7. Conclusion

      • Claude Girault, Rüdiger Valk
      Pages 179-179

  5. Verification

    1. Front Matter

      Pages 181-181
      Download chapter PDF

    2. Introduction: Issues in Verification

      • S. Haddad
      Pages 183-200

    3. State-Space-Based Methods and Model Checking

      • C. Dutheillet, I. Vernier-Mounier, J.-M. Ilié, D. Poitrenaud
      Pages 201-275

    4. Structural Methods

      • J. M. Colom, E. Teruel, M. Silva, S. Haddad
      Pages 277-316
Back to top

Keywords

About this book

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.

Reviews

From the reviews:

"This is an extensive work providing an overview of the current state of the art of the use of Petri nets in systems engineering. … The book has been carefully written avoiding an excess of formulas and technicalities. … This book is suited for those well acquainted with formal modelling of systems and who now want to learn which techniques are available from the perspective of Petri nets." (J.F. Groote, Zentralblatt MATH, Vol. 1024, 2003)

Authors and Affiliations

  • Lab. LIP6 (CNRS-UMR 7606), University of Paris VI, Paris Cedex 05, France

    Claude Girault

  • Department of Computer Science, University of Hamburg, Hamburg, Germany

    Rüdiger Valk

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation