verifypn

problem with statistics

Bug #1233854 reported by Jiri Srba on 2013-10-01

This bug affects 1 person

Affects		Status	Importance	Assigned to	Milestone
	verifypn	Fix Released	High	Jonas Finnemann Jensen

Bug Description

Verify the attached net with query. The statistics says 2 discovered markings and 0 explored and 0 stored.
This cannot be the case, these numbers should be at least 1.

Revision history for this message

Jiri Srba (srba) wrote on 2013-10-01:

Petri net Edit (717 bytes, text/xml)

Revision history for this message

Jiri Srba (srba) wrote on 2013-10-01:

Query Edit (7 bytes, text/plain)

Revision history for this message

Jonas Finnemann Jensen (jopsen) wrote on 2013-10-18:

Please check which strategies this happens with...

Revision history for this message

Jiri Srba (srba) wrote on 2013-10-18:

I just checked and this seems to be a GUI problem not parsing the engine output correctly.

Anyway, with any strategy it says "expanded states = 0". What does exactly expanded states mean?

It should be the number of markings that are on the passed and waiting list (sum of these two numbers)
at the moment the algorithm finishes. This does not seem the case here, so I am not sure what does it mean?

Jiri Srba (srba) on 2014-07-13