The full version of this contribution is available.
This book by Jörg 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