Multitasking Synthesis
Since the notion of blocking is refined by the colored marking, the synthesis
problem is restated for MtcSystems.
Supremal controllable sublanguage with colored marking nonblocking condition.
libFAUDES 2.33c
--- 2025.05.15
--- with "synthesis-observer-diagnosis-iosystem-hiosys-multitasking-coordinationcontrol-timed-iodevice-simulator-luabindings"
|