#

fcpn

Here is 1 public repository matching this topic...

viktorteren / 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.

petri-nets transition-systems pn decomposition-algorithm acpn fcpn

Updated Apr 19, 2024
C++

Improve this page

Add a description, image, and links to the fcpn topic page so that developers can more easily learn about it.

Curate 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."