@statebox/pnpro.js (npm): Convert PNPRO to JSON or Statebox specific representations of Petri nets
Keywords: petrinet|pnpro|greatspn