@book{285811,
	author = {Huang, Hejiao. and ProQuest (Firm)},
	title = {Property-preserving petri net process algebra in software engineering},
	publisher = {World Scientific Pub. Co.,},
	year = {2012.},
	address = {Singapore :},
	url = {https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=919108}
}