Book

Application and Theory of Petri Nets and Concurrency

by Luís Gomes, Robert Lorenz, Luis Gomes