This book provides a basic overview of workflow management terminology and organization, as well as detailed coverage of workflow modeling with Petri nets.