Covers the mathematical aspects of petri-nets and vector addition systems. The main topic is the accessibility decidability theorem, while the reachability problem is also discussed. Historical notes, references, proofs, exercises and illustrations are included in every chapter.
- ISBN10 0135618878
- ISBN13 9780135618875
- Publish Date November 1990
- Publish Status Out of Print
- Out of Print 31 October 2009
- Publish Country GB
- Publisher Pearson Education Limited
- Imprint Prentice-Hall
- Format Hardcover
- Pages 128
- Language English