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

Canonical name | TransitionEvent |

Date of creation | 2013-03-22 14:05:16 |

Last modified on | 2013-03-22 14:05:16 |

Owner | PrimeFan (13766) |

Last modified by | PrimeFan (13766) |

Numerical id | 5 |

Author | PrimeFan (13766) |

Entry type | Definition |

Classification | msc 68P20 |

Synonym | event |