Abstract
Method for an event-driven system with an initial state and at least one state transition from a source state to a destination state and an input alphabet with at least one input symbol, wherein an input symbol from the input alphabet is associated with a state transition, which state transition represents the transition from a source state to a destination state when the input symbol associated with the state transition is received, wherein at least one state transition is associated with all input symbols not already associated with one of the other state transitions sharing the same source state.
Original language | Undefined |
---|---|
Patent number | WO2009058002 (A1) |
Priority date | 7/05/09 |
Publication status | Submitted - 7 May 2009 |
Keywords
- EWI-11890
- IR-62161
- METIS-263679