In: Proc. of COMPSAC 87, pages 465-473. Washington: IEEE Computer Society Press, 1987.
Abstract: The author presents a model called timed PQ-net, which combines the features of both time Petri nets and queueing networks for evaluating the performance of concurrent programs. Two typical concurrent programs are used as examples to illustrate the application of the model and its simulator.