@book{222719,
	author = {Kurt Jensen, Wil M. P. Aalst, Jonathan Billington},
	title = {Transactions on Petri Nets and Other Models of Concurrency I},
	publisher = {Springer US},
	year = {2008},
	address = {New York}
}