Audio Visual Hints A Polynomial Translation of -Calculus (FCP) to Safe Petri Nets Roland Meyer1, Victor Khomenko2, and Reiner Hüchting1 1Department of Computing Science,…