@book{63938,
	author = {Huang, Hejiao},
	title = {Property-preserving petri net process algebra :},
	publisher = {World Scientific,},
	year = {c2012},
	address = {Singapore :}
}