Wlodzimierz M. Zuberek. M-timed Petri nets and Markov chains in modelling of computer systems. In Lawrence A. Jehn, Larry A. Crum, editors, Proceedings of the 14th ACM Annual Conference on Computer Science, Cincinnati, Ohio, USA, 1986. pages 101-106, ACM, 1986. [doi]
Abstract is missing.