Add approximation options to CPN
Bug #2046805 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Won't Fix
|
Undecided
|
Unassigned |
Bug Description
For the verifydtapn engine, there are normally available approximation options in the dialog, but not if the net is CPN. Is there any reason for this?? If not, then it should be possible (one can always apply the approximation after net unfolding).
To post a comment you must log in.
This is a duplicate feature request.