Petri Nets for Systems Engineering

A Guide to Modeling, Verification, and Applications

  • Claude Girault
  • Rüdiger Valk

Table of contents

  1. Front Matter
    Pages I-XVI
  2. Introduction: Purpose of the Book

    1. Claude Girault, Rüdiger Valk
      Pages 1-4
  3. Petri Nets — Basic Concepts

    1. Front Matter
      Pages 5-5
    2. Claude Girault, Rüdiger Valk
      Pages 7-8
    3. R. Valk
      Pages 29-40
    4. R. Valk
      Pages 41-51
    5. J. M. Colom, M. Silva, E. Teruel
      Pages 53-72
    6. Claude Girault, Rüdiger Valk
      Pages 73-77
  4. Modelling

    1. Front Matter
      Pages 79-79
    2. Claude Girault, Rüdiger Valk
      Pages 81-83
    3. M. Voorhoeve
      Pages 105-117
    4. R. Mackenthun, M. Voorhoeve, A. Diagne
      Pages 119-157
    5. R. Mackenthun, M. Voorhoeve, A. Diagne
      Pages 159-178
    6. Claude Girault, Rüdiger Valk
      Pages 179-179
  5. Verification

    1. Front Matter
      Pages 181-181
    2. S. Haddad
      Pages 183-200
    3. C. Dutheillet, I. Vernier-Mounier, J.-M. Ilié, D. Poitrenaud
      Pages 201-275
    4. J. M. Colom, E. Teruel, M. Silva, S. Haddad
      Pages 277-316
    5. M.-O. Stehr, B. Farwer, T. Basten
      Pages 317-397
    6. Claude Girault, Rüdiger Valk
      Pages 399-400
  6. Validation and Execution

    1. Front Matter
      Pages 401-401
    2. Claude Girault, Rüdiger Valk
      Pages 403-403
    3. D. Moldt, F. Kordon
      Pages 405-415
    4. P. Barril
      Pages 417-431
    5. W. El Kaim, F. Kordon
      Pages 433-467
    6. Claude Girault, Rüdiger Valk
      Pages 469-470
  7. Application Domains

    1. Front Matter
      Pages 471-471
    2. Claude Girault, Rüdiger Valk
      Pages 473-477
    3. J. Fzpeleta
      Pages 479-506
    4. W. van der Aalst, M. van de Graaf
      Pages 507-540
    5. M.-P. Gervais
      Pages 541-566
    6. Claude Girault, Rüdiger Valk
      Pages 567-569
  8. Back Matter
    Pages 571-607

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


Bridge Workflow communication complexity formal method formal methods hardware model checking modeling petri net software systems engineering telecommunications validation verification

Authors and affiliations

  • Claude Girault
    • 1
  • Rüdiger Valk
    • 2
  1. 1.Lab. LIP6 (CNRS-UMR 7606)University of Paris VIParis Cedex 05France
  2. 2.Department of Computer ScienceUniversity of HamburgHamburgGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-642-07447-9
  • Online ISBN 978-3-662-05324-9
  • Buy this book on publisher's site