This unique text, based on introductory as well as on advanced courses on distributed systems, will serve as an invaluable guide for students and (future) researchers interested in theoreticalâ€"as well as in practicalâ€"aspects of Petri nets and related system models.