Lectures on Petri Nets. advances in Petri Nets - Reisig, Wolfgang, 1950-; Rozenberg, Grzegorz, 1942- (Springer, 1998)