|
<Generator> "R_sf(0)" % % Statistics for R_sf(0) % % States: 10 % Init/Marked: 1/10 % Events: 8 % Transitions: 12 % StateSymbols: 10 % Attrib. E/S/T: 5/0/0 % <Alphabet> "sf-c1" +C+ "sfa" "sfmv" +C+ "pass" +o+ "sfl" "sfs" +C+ "f_pjm" +o+ "t_sf" </Alphabet> <States> "sf1" "sf2" "sf3" "sf4" "sf5" "sf6" "sf7" "sf8" "sf9" "sf10" </States> <TransRel> "sf1" "sfa" "sf2" "sf2" "sf-c1" "sf3" "sf3" "sfmv" "sf4" "sf4" "sfl" "sf5" "sf4" "f_pjm" "sf9" "sf5" "sfa" "sf6" "sf5" "pass" "sf8" "sf6" "pass" "sf7" "sf7" "sfs" "sf2" "sf8" "sfa" "sf7" "sf8" "sfs" "sf1" "sf9" "t_sf" "sf10" </TransRel> <InitStates> "sf1" </InitStates> <MarkedStates> "sf1" "sf2" "sf3" "sf4" "sf5" "sf6" "sf7" "sf8" "sf9" "sf10" </MarkedStates> </Generator>
libFAUDES 2.18b --- 2010-12-17 --- plugins "example synthesis observer diagnosis hiosys iosystem multitasking timed simulator iodevice luabindings"