Geek Repo
followers
following
stars
Company:UniversitĂ di Verona
Location:Verona
Github PK Tool:Github PK Tool
Seto is a library for the decomposition of Transition Systems into subsets of Petri nets, in particular State Machines and Free-choice Petri nets.