| |
libFAUDES
Sections
Types
Functions
|
Example Data: hio_tu_constrP.genGraph as png-image
Token IO<Generator> "Operator Constraint" <Alphabet> "no_op" +Y+ "del_tr" +Y+ "take_fl" +Y+ "empty" +U+ "full" +U+ </Alphabet> <States> "1" "2" "3" "4" </States> <TransRel> "1" "empty" "2" "1" "full" "2" "2" "no_op" "1" "2" "take_fl" "3" "3" "empty" "4" "3" "full" "4" "4" "del_tr" "1" "4" "no_op" "3" </TransRel> <InitStates> "1" </InitStates> <MarkedStates> "1" "2" "3" "4" </MarkedStates> </Generator> |
libFAUDES 2.14g --- 2009-12-3 --- plugins "example synthesis observer diagnosis hiosys multitasking timed simulator iodevice luabindings"