[PPT] - Decidability and complexity issues for subclasses of counter systems PowerPoint Presentation