|
|
||||||
|
% Elevator exanple: specification (cabin motion) <Generator> "E_cabmot" <Alphabet> "c_arlw" "c_arup" "c_up" "c_down" "c_stp" "a_done" "a_fail" </Alphabet> <States> "Idle" "Down" "Up" "Stop" "Done" </States> <TransRel> % Idle "Idle" "c_down" "Down" "Idle" "c_up" "Up" "Idle" "c_arlw" "Idle" "Idle" "c_arup" "Idle" "Idle" "a_fail" "Idle" % Moving down "Down" "c_arlw" "Stop" % Moving up "Up" "c_arup" "Stop" % Moving up "Stop" "c_stp" "Done" % Moving up "Done" "a_done" "Idle" </TransRel> <InitStates> "Idle" </InitStates> <MarkedStates> "Idle" </MarkedStates> </Generator>
libFAUDES 2.32b --- 2024.03.01 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-luabindings-hybrid-example-pybindings"