@TechReport{CT96, author={G. Ciardo and M. Tilgner}, title={On the Use of {K}ronecker Operators for the Solution of Generalized Stocastic {P}etri Nets}, institution={Institute for Computer Applications in Science and Engineering}, year={1996}, type={ICASE Report}, number={96-35}, address={}, month={}, note={}, key={} }