Schedulability Analysis of Petri Nets Based on Structural Properties | IEEE Conference Publication | IEEE Xplore