4 works on record
Transactions on Petri Nets and Other Models of Concurrency VII
Application and Theory of Petri Nets 1997
Computer Performance Evaluation
Approximate solutions of queueing network models of computer systems