Overview of the Book

  • Claude Girault
  • Rüdiger Valk


This chapter is intended to give a more detailed overview of the book than the introduction in Chapter 1. Having read Chapters 1 to 5 the reader should have acquired some intuitive understanding of Petri nets as well as some familiarity with basic formal definitions and properties. At this point the reader should be in a position to understand most of the presentations in the remainder of the book. Although, for the novice it may be beneficial to read the book from beginning to end, more experienced readers should have no problem skipping chapters that are not of foremost importance for them.


Flexible Manufacturing System Linear Logic Process Algebra Reachability Graph Algebraic Specification 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

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

Personalised recommendations