verifypn

  1. Bug #1927726
  2. Comment #2

Comment 2 for bug 1927726

Revision history for this message
Peter Haahr Taankvist (ptaank) wrote :

I call verifypn with

bin/verifypn-linux64 /mnt/c/Users/Taankvist/Desktop/ColoredPetriNets/FamilyReunion/COLORED/FamilyReunion-L400-M40-C20-P20-G10.pnml /mnt/c/Users/Taankvist/Desktop/ColoredPetriNets/query.q -q 0 --write-reduced out.pnml > out