Lectures on Petri Nets I : Basic models : Advances in Petri Nets - Reisig, Wolfgang, 1950- (Springer, 1998)
Includes indexes