Reasoning with PCP-Nets