Definition von PDEVS