TAPAAL

Degree-2 converter is broken with nets using transportarc and inhib arc

Bug #1887524 reported by Kenneth Yrke Jørgensen on 2020-07-14

This bug affects 1 person

Affects		Status	Importance	Assigned to	Milestone
	TAPAAL	Fix Released	Critical	Kenneth Yrke Jørgensen

Bug Description

- Open attached net
- run query

Observed: Error
Expected Result: answer to query

Related branches

lp:~yrke/tapaal/fix-1887524-prepostSetSize

Merged into lp:tapaal at revision 1071

Jiri Srba: Approve on 2020-08-03

Revision history for this message

Kenneth Yrke Jørgensen (yrke) wrote on 2020-07-14:

e3.tapn Edit (2.1 KiB, text/xml)

Minimal example of bug

Revision history for this message

Kenneth Yrke Jørgensen (yrke) wrote on 2020-07-14:

Based on tracing it seem like the degree-2 conversion is wrong, but we observed no changes the related code.

Changed in tapaal:
status:	New → In Progress
importance:	Undecided → Critical
assignee:	nobody → Kenneth Yrke Jørgensen (yrke)

Revision history for this message

Kenneth Yrke Jørgensen (yrke) wrote on 2020-07-14:

Manged to track it down to timedTransiton getPre/PostsetSize, its changed to include inhib arcs breaking assumptions in the degree-2 converter.

Also it seems that pre/post set size calulation of transitions and places are wroing as inhib arcs are included in both pre og post set size calculation.

Jiri Srba (srba) on 2020-08-06

Changed in tapaal:
status:	In Progress → Fix Committed

Jiri Srba (srba) on 2020-11-01

Changed in tapaal:
status:	Fix Committed → Fix Released

Report a bug

This report contains Public information

Everyone can see this information.

You are

Subscribing...

Edit bug mail

Other bug subscribers

Bug attachments

e3.tapn Edit

Add attachment

Remote bug watches

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