#4 Endless loop on Invariant analysis

[Anonymous]

PIPE stucks when analizing a simple PN. After a small
reverse engeneering I found a piece of code in
InvariantAnalysis.java:588

"while (!(isEmptySet(chj))){ // chj empty only when
there is just one nonzero element in the whole row,
this should not happen as this case is eliminated in
the first step, so we would never arrive at this
while() with just one nonzero element"

but the condition above fails, and this causes an
endless loop.