Problem with weighted traces
Bug #1280894 reported by
Jiri Srba
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| verifypn |
Fix Released
|
Critical
|
Jiri Srba | ||
Bug Description
The attached net gives a wrong trace with verifypn (1.xml can be open in TAPAAL, 2.xml and 2.q are to the inputs to verifyPN).
The problem is with weighted arcs (the there is only one token listed for the second transition while we need two tokens
to be consumed).
Revision history for this message
| Jiri Srba (srba) wrote | #1 |
Revision history for this message
| Jiri Srba (srba) wrote | #2 |
Revision history for this message
| Jiri Srba (srba) wrote | #3 |
| Changed in verifypn: | |
| assignee: | Jonas Finnemann Jensen (jopsen) → Jiri Srba (srba) |
| status: | New → In Progress |
| status: | In Progress → Fix Committed |
Revision history for this message
| Jonas Finnemann Jensen (jopsen) wrote | #4 |
| Changed in verifypn: | |
| status: | Fix Committed → Fix Released |
To post a comment you must log in.
I checked the fix, and it looks good...