pub fn classify_transitions(net: &mut PetriNet)
Reclassify the kind field of every transition in net from "activity" to one of mandatory/choice/loop/parallel. Mutates in place.
kind
net
"activity"
mandatory
choice
loop
parallel