Conversion between ladder diagrams and PNs in discrete-event control design-a survey | IEEE Conference Publication | IEEE Xplore