Yesterday, I wrote about the colored automaton implementation in Declare including mentioning that it is now possible to export such automata directly from within the Designer. Today, I’ve optimized the output, so it now is possible to reduce the printout by exploiting strongly connected components. The first change is that strongly connected components are grouped together […]
Read More… from Strongly Connected Components in Declarative Models