Next:
Changes from the previous
Up:
PEST: Programming Environment for
Previous:
Fallstudie
Syntax
Changes from the previous version.
Updated syntax
State hierarchy:
Initial State:
Default Connector:
Status and Active States:
O
R
-state:
Basic State:
External Stimuli:
Non-Determinism:
Conflicting Transitions:
Duration of Events:
A
ND
-state:
Maximal Parallelism:
Implicitly Generated Events:
Inter-level Transitions:
Transition Priority:
Scope:
Broadcast communication:
Erich Mikk
Tue Nov 24 13:50:54 MET 1998