Thomas Pedersen

Related bugs

Critical

Fix Committed

#1932259 CPN branch fails unit test "SharedPlace has a token bug#1887512"

TAPAAL 6

Critical

Fix Committed

#1932306 Problem with CPN verification

TAPAAL 6

Critical

Fix Committed

#1932308 Cannot unfold net

TAPAAL 6

Critical

Fix Committed

#1932310 Second unfolding with x++++ fails

TAPAAL 6

Critical

Fix Committed

#1934103 No warning is shown is unfold of CPN fails

TAPAAL 6

High

Fix Committed

#1934109 CPN mUnfolding does not seem to work if you are usign componets

TAPAAL 6

Medium

Fix Committed

#1934101 Simulating CPN

TAPAAL 6

Low

Confirmed

#1879351 Tab close button disappears for long petri net names

TAPAAL 6

Low

Fix Committed

#1933124 Editing guard expression diables colortype selection

TAPAAL 6

Wishlist

Fix Committed

#1879130 Show net after structural reductions

TAPAAL 6

Undecided

New

#1906837 Weird parenthesis added in unfolded query for places

verifypn 6

Undecided

Fix Committed

#1934766 Untimed net verification fails

TAPAAL 6

Undecided

Fix Committed

#1934767 Timed, colored game net - problem

TAPAAL 6

Undecided

Fix Committed

#1934769 Error messages fo interranges

TAPAAL 6

Undecided

Fix Committed

#1934786 Manual edit of guard expressions

TAPAAL 6

Undecided

Fix Committed

#1936611 Layout is launched even if the net has a layout

TAPAAL 6

Undecided

Fix Committed

#1936638 Boundedness check for CPN is broken

TAPAAL 10

Undecided

Fix Committed

#1938794 Cannot unfold net

TAPAAL 6

Undecided

Fix Committed

#1938866 CPN export/import issues

TAPAAL 6

Undecided

Fix Committed

#1939122 Boundedness check in timed CPN is broken

TAPAAL 6

Undecided

Fix Committed

#1939939 Multipe arcs in unfolding

TAPAAL 6