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 International, 1990. Hardcover. Book Condition: As New. As New. book. Bookseller Inventory # F5S3-8-Z-0135618878-5
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