@crinkle/petrinets (npm): js petrinet
Keywords: petri nets|petrinets