<Generator> Project(R_sf(0)) % % Statistics for Project(R_sf(0)) % % States: 7 % Init/Marked: 1/7 % Events: 5 % Transitions: 9 % StateSymbols: 0 % Attrib. E/S/T: 6/0/0 % <Alphabet> sf-c1 +C+ pass +o+ sfl block +o+ diag +o+ </Alphabet> <States> <Consecutive> 1 7 </Consecutive> </States> <TransRel> 1 sf-c1 3 1 block 5 1 diag 7 2 pass 1 3 sfl 2 3 block 4 5 sf-c1 4 6 sfl 6 7 sf-c1 6 </TransRel> <InitStates> 1 </InitStates> <MarkedStates> <Consecutive> 1 7 </Consecutive> </MarkedStates> </Generator>
libFAUDES 2.32f --- 2024.12.22 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-luabindings"