|
Reachability Tests/ConversionsDue to colored marking of states, MtcSystems allow for variations on the notion of coaccessibility, and, hence, trimmness. Note that accessibility is not affected. IsStronglyCoaccessibleTests a colored generator for strong coaccessibility. IsStronglyTrimTests a colored generator for strong trimness. StronglyCoaccessibleDelete non-stronly-coaccessible states and transitions. StronglyTrimDelete non-strongly-coaccessible and non-accessible states and transitions. libFAUDES 2.24a --- 2014.04.04 --- with "synthesis-observer-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-luabindings" |