/Seto

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

Primary LanguageC++OtherNOASSERTION

Stargazers