goFB/eca state pruning #1
Description
It should be possible when deriving longest traces of Event-MoC networks to take into account pruning of ECCs from infeasable states. This is not currently done.
{{ message }}
It should be possible when deriving longest traces of Event-MoC networks to take into account pruning of ECCs from infeasable states. This is not currently done.