@book{5831,
	author = {Reisig, Wolfgang},
	title = {Petri Nets},
	publisher = {Springer-Verlag},
	year = {1985},
	address = {New York}
}