@book{21394,
	author = {Reisig, Wolfgang},
	title = {Understanding petri nets: modeling techniques, analysis methods, case studies},
	publisher = {Springer},
	year = {2013},
	address = {Berlin}
}