<Generator> Complement(g1) % % Statistics for Complement(g1) % % States: 4 % Init/Marked: 1/2 % Events: 5 % Transitions: 20 % StateSymbols: 4 % Attrib. E/S/T: 0/0/0 % <Alphabet> f a b d c </Alphabet> <States> "1" "2" "3" "4" </States> <TransRel> "1" f "4" "1" a "2" "1" b "4" "1" d "4" "1" c "4" "2" f "4" "2" a "3" "2" b "4" "2" d "4" "2" c "4" "3" f "4" "3" a "4" "3" b "2" "3" d "4" "3" c "4" "4" f "4" "4" a "4" "4" b "4" "4" d "4" "4" c "4" </TransRel> <InitStates> "1" </InitStates> <MarkedStates> "3" "4" </MarkedStates> </Generator>
libFAUDES 2.22k --- 2013.04.02 --- with "timed-iodevice-simulator"