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