Goltz, U.U.Goltz2022-03-082022-03-081988https://publica.fraunhofer.de/handle/publica/314623en004005006400On representing CCS programs by finite Petri netsconference paper