<Generator name="wPlant1"> % % Statistics for wPlant1 % % States: 4 % Init/Marked: 1/2 % Events: 4 % Transitions: 6 % StateSymbols: 4 % Attrib. E/S/T: 2/0/0 % <Alphabet> a +C+ b +C+ c d </Alphabet> <States> L1 L2 A B </States> <TransRel> L1 b B L1 d L2 L2 a A L2 d L1 A c L1 B d L1 </TransRel> <InitStates> L1 </InitStates> <MarkedStates> A B </MarkedStates> </Generator>
libFAUDES 2.33h --- 2025.06.18 --- with "omegaaut-synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-priorities-luabindings"