| 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 |
|||||||||