Title: On representing CCS programs by finite petri nets