acpn

Here are 2 public repositories matching this topic...

windows command-line program to analyze ACES xml automotive catalog files

qdb aces vcdb pcdb autocare acesinspector projectprism acpn aces-pies

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

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

To associate your repository with the acpn topic, visit your repo's landing page and select "manage topics."