Title: Über die Darstellung von CCS-Programmen durch Petrinetze
Subjects: Petri nets