implement dumper
implement base of reducer
implement Word::TopologicalSort and write test
implement Word::WeakEquals
implement Word::IsWeakPrefixOf
write test
implement State::Expand and State::Enables and write test
generate state space from init_state_
calc action relations in por module
write test of state space
remove unused code
implement valid petrinet coversion to Entity-Based System and write test