|
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.32f --- 2024.12.22 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-luabindings" |