modprocesso (pypi): modProcesso is a library for automata modularisation.
Keywords: Theory of Computing|Automata Theory|Languages|Process Mining|Automata Decomposition|Process Modularisation