<Generator name="wPlant3" ftype="System"> % % Statistics for wPlant3 % % States: 6 % Init/Marked: 1/4 % Events: 5 % Transitions: 10 % StateSymbols: 6 % Attrib. E/S/T: 3/0/0 % <Alphabet> a +C+ b +C+ c f +o+ e </Alphabet> <States> I A B If Af Bf </States> <TransRel> I a A I b B A c I A f Af B c I If a Af If b Bf Af c If Af e A Bf c If </TransRel> <InitStates> I </InitStates> <MarkedStates> I A B Bf </MarkedStates> </Generator>
libFAUDES 2.33k --- 2025.09.16 --- with "omegaaut-synthesis-observer-multitasking-diagnosis-hiosys-iosystem-coordinationcontrol-priorities-timed-simulator-iodevice-luabindings"