Reducing the computational complexity of scheduling problems in Petri nets by means of transformation rules | IEEE Conference Publication | IEEE Xplore