Multitasking Observer
Since the notion of blocking is refined by the colored marking, the observer
problem is restated for MtcSystems.
Copmute a colored natural observer by extending a given high-level alphabet.
libFAUDES 2.28c
--- 2016.09.30
--- with "synthesis-observer-diagnosis-iosystem-hiosys-multitasking-coordinationcontrol-timed-iodevice-simulator-luabindings"
|