Petri nets and performance models International workshop. Madison, Wisconsin August 24-26, 1987 (IEEE Computer Society Press, 1987)