Introduction to CPN Tools
Getting started, interaction techniques, graphical feedback, the index, etc.