libFAUDES
Sections
Types
Functions
|
Example Data: hio_tu_constrP.genGraph as png-imageToken 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.20s --- 2011.10.12 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-luabindings"