ProM 5 Plugin Developer

The ProM Plugin Developer's Tutorial gives reasonably experienced Java developers a short explanation of how to develop their own ProM 5 plug-ins. It includes an example for every type of plug-in.