Authors:
JIANG J
AZZOPARDI D
HOLDING DJ
CARPENTER GF
SAGOO JS
Citation: J. Jiang et al., REAL-TIME SYNCHRONIZATION OF MULTIAXIS HIGH-SPEED MACHINES, FROM SFC SPECIFICATION TO PETRI-NET VERIFICATION, IEE proceedings. Control theory and applications, 143(2), 1996, pp. 164-170