The Application Research on the Heat Shrink Film Packing Machine Based on Hybrid Petri Network Theory | IEEE Conference Publication | IEEE Xplore