Text this: Applying CEGAR to the Petri Net State Equation