| 
|
Quote: an event models an instantaneous condition such as a change of state or external stimulus
topics >
all references >
references c-d >
Topic:
events
Topic:
state
Topic:
state machine
Topic:
Petri net
Quotation Skeleton
An event is a particular predicate that is … external stimulus. … a condition for an event can be necessary … [p. 89] [precondition or postcondition]. … A state is a predicate representing a property … may be associated with suitable predefined events and … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: preconditions and postconditions for events; may be necessary or sufficient Quote: a state is a predicate representing a property of a system; may have duration Quote: model system evolution with events, states, and conditions
Topic: events (44 items)
Topic: state (35 items)
Topic: state machine (67 items)
Topic: Petri net (44 items)