@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={}}