[PPT] - Well-Structured Transition Systems and Extended Petri Nets An PowerPoint Presentation