Books by Jonathan Billington
Transactions on Petri Nets and Other Models of Concurrency III (Lecture Notes in Computer Science Book 5800)
Transactions on Petri Nets and Other Models of Concurrency I
Application of Petri nets to communication networks
Application and Theory of Petri Nets 1996
A high-level petri net specifi
A high-level petri net specification of the Cambridge fast ring M-access service