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