virtual (input) transition

A virtual input transition is a special case of a general notion of virtual transition (virtual priority input, virtual start, virtual spontaneous transition). In addition SDL has virtual save.

Redefinition of virtual transitions/saves corresponds closely to redefinition of virtual types.

• A virtual start transition can be redefined to a new start transition.
• A virtual priority input or input transition can be redefined to a new priority input or input transition or to a save.
• A virtual save can be redefined to a priority input, an input transition or a save.
• A virtual spontaneous transition can be redefined to a new spontaneous transition.

Z.100