Goltz, U.U.Goltz2022-03-072022-03-071988https://publica.fraunhofer.de/handle/publica/285609en004005006On representing CCS programs by finite petri netsreport