@statebox/pnpro.js

PNPRO.js

Assuming you have a string with the contents of a .PNPRO file in xmlDocument,

let parse = require('@statebox/pnpro.js')
let result = parse(xmlDocument)

Output format for parse:

• title: project title, string
• nets: array of nets
  • name: net name
  • places: array of places
    • name: place name/identifier
    • x, y: screen coordinates
    • marking: nr of tokens in this place (initial marking)
  • transitions: array of transitions
    • name: transition name
    • pre, post: dictionary of in/out arcs, place name => weight
    • x,y: screen coordinates
  • nll: list of pairs of list of place indices
  • nbpt: zero padded version of the nll list