Data structures and algorithms for extended state space and structural level reduction of the GSPN model

This paper extends the applicability of exact analysis of the GSPN model by providing methods to improve the time and space complexity of both state space and structural level reduction. For state space level reduction, we maximize the concurrent firing of immediate transitions. For structural level reduction, we minimize the number of generated replicas for timed transitions by using branch and bound techniques to create concurrent replicas that simulate the firing of the timed transition followed by the simultaneously firing of multiple immediate transitions.