Multitasking Synthesis

Since the notion of blocking is refined by the colored marking, the synthesis problem is restated for MtcSystems.

MtcSupConNB

Supremal controllable sublanguage with colored marking nonblocking condition.

Signature:

MtcSupConNB(+In+ MtcSystem GPlant, +In+ MtcSystem GSpec, +Out+ MtcSystem GSupervisor)

libFAUDES 2.24a --- 2014.04.04 --- with "synthesis-observer-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-luabindings"