Code review comment for lp:~verifypn-cpn/verifypn/SuccGen-simp

I would change the comparison to:

_parent->marking()[inv.place] >= inv.tokens == inv.inhibitor

and add the comment
// Cannot fire if less tokens than weight (and not inhibitor) or more or equal tokens (and inhibitor).