<Generator name="Plant B" ftype="System"> % % Statistics for Plant B % % States: 5 % Init/Marked: 1/1 % Events: 8 % Transitions: 8 % StateSymbols: 5 % Attrib. E/S/T: 6/0/0 % <Alphabet> e12 e51 +C+ e14 e55 +C+ e52 +o+ e53 +C+ e57 +C+ e54 +o+ </Alphabet> <States> s0#1 s2#3 s5#5 s4#6 s8#9 </States> <TransRel> s0 e51 s2 s2 e55 s5 s2 e52 s4 s5 e51 s2 s5 e53 s8 s4 e53 s8 s8 e57 s5 s8 e54 s0 </TransRel> <InitStates> s0 </InitStates> <MarkedStates> s0 </MarkedStates> </Generator>
libFAUDES 2.33k --- 2025.09.16 --- with "omegaaut-synthesis-observer-multitasking-diagnosis-hiosys-iosystem-coordinationcontrol-priorities-timed-simulator-iodevice-luabindings"