Lectures on Petri Nets II : Applications : advances in Petri Nets - Reisig, Wolfgang, 1950- (Springer, 1998)
Includes indexes