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.33h
--- 2025.06.18
--- with "omegaaut-synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-priorities-luabindings-hybrid-example-pybindings"
|