Wilison, Reg G. Krogh, Bruce H. Petri Net Tools for Specification and Analysis of Discrete Controliers - 39-50 p. Subjects--Topical Terms: AnalysisControlDiscrete Systems