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