[L1] ================================================ AMAST Links 02 02

                      Free Choice and Petri Nets
                     Cambridge Tracts in TCS v 40

   The _full version_ of this contribution is available at
URL: http://www.cs.utwente.nl/data/amast/links/v02/i02/full/FCPNl.txt

  This book by J"org Desel and Javier Esparza, published by CUP, is now
available. It is divided into 10 chapters. Chapters 1-5 present 
analysis techniques (place and transition invariants, siphons and 
traps), and classical results of the structure theory of Petri nets
(results on marked graphs, Commoner's and Hack's theorems, etc.).
Chapters 6-9 contain recent developments in the theory of free choice
nets, like the rank theorem. In Chapter 10, some results of the former
chapters are generalized to larger net classes.
  Since a good part of the material was spread among different 
publications, many of them difficult to access (and sometimes
containing mistakes), we have taken special care in making the book
self-contained. Every notion is explained, and every result is proved.
The material is organized along the lines of a course, and each chapter
is followed by exercises.
  The book has been available in UK bookshops since 12/01/95, for
25 pounds sterling, and it should also be available in all good
bookshops in other countries. You may also order directly from CUP 
(they charge 2.50 pounds plus the local Mws/VAT/IVA within the European
Union).
  For more information about availability and delivery you may contact:
   Customer Services
   Cambridge University Press
   The Edinburgh Building
   Cambridge CB2 2RU
   Tel: +44 223 325970
   Fax: +44 223 325959
   E-mail: science@cup.cam.ac.uk