Based on Petri net to describe the process of electronic-consumption devices | IEEE Conference Publication | IEEE Xplore