Wlodzimierz M. Zuberek. Performance evaluation of concurrent systems using timed petri nets. In Terry M. Walker, Wayne D. Dominick, editors, Proceedings of the 13th ACM Annual Conference on Computer Science, New Orleans, Louisiana, USA, 1985. pages 326-329, ACM, 1985. [doi]
Abstract is missing.