Research on the Reasoning Mechanism of Copyright Protection of Digital Content Based on the Petri Net | IEEE Conference Publication | IEEE Xplore