@conference{225, author={Kleinrock, L. and D. Nielsen}, title={Data Structures and Algorithms for Extended State Space and Structural Level Reduction of the {GSPN} Model}, booktitle={Proceedings of the International Conference on Application and Theory of Petri Nets}, year={1994}, address={Zaragoza}, month={June 20-24,}, comment={}}