Simulating Synchronous Channels and Net Instances