|
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.26g --- 2015.08.17 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-pushdown-timed-simulator-iodevice-luabindings" |