Formal Analysis of Deadlock Behaviour in Workows (1999)

by A H M ter Hofstede, B Kiepuszewski