Audiobook
We may earn a commission. Learn more.
The Mathematics of Petri Nets
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.
No reviews yet.
Be the first to write one.
No highlights yet.
Be the first to share one.