<Generator> "Transport Unit A__F" % % Statistics for Transport Unit A__F % % States: 10 % Init/Marked: 1/10 % Events: 9 % Transitions: 14 % StateSymbols: 10 % Attrib. E/S/T: 9/0/0 % <Alphabet> del_tr_A +UP+ take_fl_A +UP+ empty_A +YP+ full_A +YP+ nack_A +UE+ pack_A +UE+ req_fl_A +YE+ req_tr_A +YE+ no_op_F +UP+ </Alphabet> <States> "1" "2" "3" "4" "5" "6" "7" "8" "9" Err </States> <TransRel> "1" empty_A "2" "2" del_tr_A Err "2" take_fl_A "3" "2" no_op_F "1" "3" req_fl_A "4" "4" nack_A "3" "4" pack_A "5" "5" full_A "6" "6" del_tr_A "7" "6" take_fl_A Err "6" no_op_F "5" "7" req_tr_A "8" "8" nack_A "7" "8" pack_A "1" </TransRel> <InitStates> "1" </InitStates> <MarkedStates> "1" "2" "3" "4" "5" "6" "7" "8" "9" Err </MarkedStates> </Generator>
libFAUDES 2.32f --- 2024.12.22 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-luabindings"