Computing response time distributions using stochastic Petri nets and matrix diagrams | IEEE Conference Publication | IEEE Xplore