Fighting State Explosion Using Petri net Invariants in State Space Construction Quelle K. Schmidt: Using Petri net Invariants in State Space Construction Proc. 9th Conf.…