Shortest Legal Firing Sequence of Net Condition/Event Systems Using Integer Linear Programming | IEEE Conference Publication | IEEE Xplore