libFAUDES
Sections
Types
Functions
|
Multitasking SynthesisSince the notion of blocking is refined by the colored marking, the synthesis problem is restated for MtcSystems. MtcSupConComputes the supremal controllable sublanguage. MtcSupConNBSupremal controllable sublanguage with colored marking nonblocking condition. |
libFAUDES 2.20d --- 2011.04.26 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-timed-simulator-iodevice-luabindings"