Process Simulator
Receiver Process Simulation
Simulator functions defined for:
  signal input and output, assignment, updating state,
decision, process creation, procedure call, timer
operations, stop, and goto
Correctness: simulating each action preserves
   wf-instance property