|
<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.18b --- 2010-12-17 --- plugins "example synthesis observer diagnosis hiosys iosystem multitasking timed simulator iodevice luabindings"