The Mathematics of Petri-Nets

by Christophe Reutenauer

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.

• Format: Hardcover
• Language: English
• ISBN: 0135618878
• ISBN13: 9780135618875
• Release Date: January 1990
• Publisher: Prentice Hall International
• Length: 117 Pages
• Weight: 0.75 lbs.