@book{44663,
	author = {Reisig, wolfgang},
	title = {Understanding petri nets},
	publisher = {Springer},
	year = {2013},
	address = {Berlin},
	note = {Includes index and bibliography.}
}