Research software for Petri-net-based concurrent control analysis and XT/r-exact hypergraph decomposition.
petri-nets webgpu hypergraphs fuzzy-systems research-software max-plus concurrent-control exact-transversals xt-hypergraphs r-exact-hypergraphs
-
Updated
Jul 13, 2026 - JavaScript