Citation: Js. Sagoo et Jt. Boardman, TOWARDS THE FORMALIZATION OF SOFT SYSTEMS MODELS USING PETRI-NET THEORY, IEE proceedings. Control theory and applications, 145(5), 1998, pp. 463-471
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