Construction of a human body model for acupuncture and moxibustion treatment by colored Petri nets.