Lectures on Petri Nets I: Basic Models: Advances in Petri Nets by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 1998)