<Generator name="wPlant2"> % % Statistics for wPlant2 % % States: 5 % Init/Marked: 1/1 % Events: 5 % Transitions: 8 % StateSymbols: 5 % Attrib. E/S/T: 2/0/0 % <Alphabet> a +C+ b +C+ c d f </Alphabet> <States> I A1 A2 B1 B2 </States> <TransRel> I a A1 I b B1 A1 c A2 A2 c A2 A2 f I B1 d B2 B2 d B2 B2 f I </TransRel> <InitStates> I </InitStates> <MarkedStates> I </MarkedStates> </Generator>
libFAUDES 2.33h --- 2025.06.18 --- with "omegaaut-synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-priorities-luabindings"