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