FG DES libFAUDES DESTool	LRT >> EEI >>
About Projects Variables Scripts Simulation Reference

Example Data: tmp_elevator_spec_opcmd.gen

Dot-processed graph as SVG-image

Token IO

% Elevator example: specification, operator commands

<Generator>
"E_opcmd"

<Alphabet>
"o_upb"
"o_lwb"
"c_stp"
"c_up"
"c_down"
</Alphabet>

<States>
"Idle"
"Busy"
</States>

<TransRel>
% Idle, wait for command
"Idle" "o_upb" "Busy"
"Idle" "o_lwb" "Busy"

% Busy, wait for mission accomplished
"Busy" "c_stp" "Idle"
"Busy" "c_up"  "Busy"
"Busy" "c_down" "Busy"
"Busy" "o_upb" "Busy"
"Busy" "o_lwb" "Busy"


</TransRel>

<InitStates>
"Idle"
</InitStates>

<MarkedStates>
"Idle"
</MarkedStates>

</Generator>

 

 

libFAUDES 2.32b --- 2024.03.08 --- with "synthesis-observer-diagnosis-iosystem-hiosys-multitasking-coordinationcontrol-timed-iodevice-simulator-luabindings"