Wlodzimierz M. Zuberek, I. Rada. Modeling and Analysis of Distributed State Space Generation for Timed Petri Nets. In Proceedings 34th Annual Simulation Symposium (SS 2001), Seattle, WA, USA, 22-26 April 2001. pages 93-98, IEEE Computer Society, 2001. [doi]
Abstract is missing.