<Generator> "simple machine A" % % Statistics for simple machine A % % States: 4 % Init/Marked: 1/4 % Events: 6 % Transitions: 6 % StateSymbols: 0 % Attrib. E/S/T: 6/0/0 % <Alphabet> A_wait +YP+ A_do +UP+ A_stp +UP+ A_req +YE+ A_nack +UE+ A_pack +UE+ </Alphabet> <States> 1 2 3 4 </States> <TransRel> 1 A_wait 2 2 A_do 3 2 A_stp 1 3 A_req 4 4 A_nack 3 4 A_pack 1 </TransRel> <InitStates> 1 </InitStates> <MarkedStates> 1 2 3 4 </MarkedStates> </Generator>
libFAUDES 2.32f --- 2024.12.22 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-luabindings"