Text this: Über die Darstellung von CCS-Programmen durch Petrinetze /