Distributed algorithms, essential to networks of all kinds, are presented using the highly intuitive & technically elegant Petri net technique in this text for students & practitioners. A variety of distributed algorithms are presented, & proven correct using temporal logic.