Text this: Optimization of Calculating Invariants in Petri Nets to Support the Creation of Integration Testing Scenarios