# transition event

A transition event (or simply event) on a state set $S$ is an element $e=(s_{i},s_{j})\in(S\times S)$ of a binary relation on state set $S$ that signifies the transition from one state to another. An event $e$ is defined by a condition function $c(s_{i})$ which evaluates a Boolean function in state $s_{i}$ and by an action function $p$.

Title transition event TransitionEvent 2013-03-22 14:05:16 2013-03-22 14:05:16 PrimeFan (13766) PrimeFan (13766) 5 PrimeFan (13766) Definition msc 68P20 event