Modeling and Analysis of Distributed State Space Generation for Timed Petri Nets. - Wlodzimierz M. Zuberek; I. Rada (Annual Simulation Symposium, 2001)