Lectures on Concurrency and Petri Nets 2003:
Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg (Eds.):
Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned].
Lecture Notes in Computer Science 3098 Springer 2004, ISBN 3-540-22261-8
Wil M. P. van der Aalst: Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management.