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.23h
--- 2014.04.03
--- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-pushdown-timed-simulator-iodevice-luabindings"
|