Petri nets are useful as a requirements engineering method in many areas of data processing, including hardware, communication protocols, parallel programs and distributed data bases. The book provides an elementary and informal introduction for newcomers to this field.