An automatic calibration system for Chinese karaoke lyrics based on high-level fuzzy Petri nets | IEEE Conference Publication | IEEE Xplore