verifypn

makePetriNet() very slow for certain nets

Bug #1927726 reported by Peter Haahr Taankvist
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
verifypn
New
Undecided
Unassigned

Bug Description

The function makePetriNet() is very slow for the net FamilyReunion-L800-M80-C40-P40-G20.pnml (and other FamilyReunion nets). The function is called on line 1068 in Verifypn.cpp. The function takes around 100 seconds on my PC.

A similar call is made on line 1304 in Verifypn.cpp, which takes less than a second.

Revision history for this message
Peter Haahr Taankvist (ptaank) wrote :
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

To post a comment you must log in.
This report contains Public information  
Everyone can see this information.
Subscribing...

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.