viktorteren/Seto

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Seto is a library for the decomposition of Transition Systems into subsets of Petri nets, in particular State Machines and Free-choice Petri nets.