Data Structures and Algorithms for Extended State Space and Structural Level Reduction of the GSPN Model. - Donna S. Nielsen; Leonard Kleinrock (Application and Theory of Petri Nets, 1994)