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