TAPAAL

Workflow-payment boundedness check fail

Bug #2029475 reported by Jiri Srba
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
TAPAAL
Fix Committed
Undecided
Unassigned
TAPAAL cpn "cpn"

Bug Description

Open the workflow-payment, open workflow analysis (in Tools) and check boundedness - it says
bounded. Then analyze the workflow and it will complain that the number of tokens was insufficient.

Revision history for this message
Jiri Srba (srba) wrote :

The problem seems to be that the GUI sends a net with only two places (in,out) and no transitions to the engine for the boundedness check (from the workflow dialog).

Revision history for this message
Jiri Srba (srba) wrote :

workflow-complaint has the same issue, the net sent to boundedness check from workflow dialog has only two places (only the in and out shared places).

Jiri Srba (srba)
Changed in tapaal:
status: New → Fix Committed
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.