Authors: SAGOO JS BOARDMAN JT

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