Elements of distributed algorithms: modeling and analysis with Petri nets by Reisig, Wolfgang 0 Type: Book
