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