Scheduling Method of Manufacturing System Based on Colored Petri Nets and Graph Neural Network | IEEE Conference Publication | IEEE Xplore