<Generator name="wSpec2"> % % Statistics for wSpec2 % % States: 7 % Init/Marked: 1/2 % Events: 5 % Transitions: 30 % StateSymbols: 7 % Attrib. E/S/T: 0/0/0 % <Alphabet> a b c d f </Alphabet> <States> N C1 C2 C3 D1 D2 D3 </States> <TransRel> N a N N b N N c C1 N d D1 C1 a C1 C1 b C1 C1 c C1 C1 d C2 C1 f C1 C2 a C2 C2 b C2 C2 d D1 C2 f C3 C3 a C3 C3 b C3 C3 c D2 C3 d D1 D1 a D1 D1 b D1 D1 c D2 D1 d D1 D1 f D1 D2 a D2 D2 b D2 D2 c C1 D2 f D3 D3 a D3 D3 b D3 D3 c C1 D3 d C2 </TransRel> <InitStates> N </InitStates> <MarkedStates> C2 D2 </MarkedStates> </Generator>
libFAUDES 2.33h --- 2025.06.18 --- with "omegaaut-synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-priorities-luabindings"