A Survey of Petri Net Methods for Controlled Discrete Event Systems