Specification Driven Distributed Simulation Using PrT-Nets. - Anurag Srivastava; Deepak K. Lakhanpal; Vishal Jain; P. C. P. Bhatt (EUROSIM, 1995)