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