External Stimuli:

A virtual environment generates events which are sensed by the system. Assuming that P1 has just been entered (so, event A has been generated) and the environment additionally provides event C a situation of non-determinism occurs.