Elements of distributed algorithms : modeling and analysis with Petri nets - Reisig, Wolfgang, 1950- (Springer, 1998)