Seto is a library for the decomposition of Transition Systems into subsets of Petri nets, in particular State Machines and Free-choice Petri nets.
-
Updated
Apr 19, 2024 - C++
#
fcpn
Here is 1 public repository matching this topic...
Add this topic to your repo
To associate your repository with the fcpn topic, visit your repo's landing page and select "manage topics."