Compiling partial version of translation to PN