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.
"synopsis" may belong to another edition of this title.
Book Description Prentice Hall, 1990. Book Condition: Fine. ix, 117 pp., Hardcover, spine very slightly faded, else fine. Bookseller Inventory # ZB1010261
Book Description Prentice Hall. Book Condition: Very Good. Used - Very Good. Ex-library, but has been well cared for. Bookseller Inventory # Z1-M-021-00840
Book Description Prentice Hall International, 1990. Hardcover. Book Condition: Near Fine. Near Fine. book. Bookseller Inventory # F3S2-4-Z-0135618878-3