Real-time synchronisation of multiaxis high-speed machines, from SFC specification to Petri net verification

IEE Proceedings: Control Theory and Applications

Volumn 143, Issue 2, 1996, Pages 164-170

  Jiang, J ^a   Azzopardi, D ^a   Holding, D J ^a   Carpenter, G F ^a   Sagoo, J S ^a  

^a ASTON UNIVERSITY   (United Kingdom)

Author keywords

Discrete event systems; High speed machinery; Hybrid control; Manufacturing systems; Petri nets; Real time control; SFC; Specification; Synchronisation; Verification

Indexed keywords

ACTUATORS; CONTROL SYSTEM SYNTHESIS; FLEXIBLE MANUFACTURING SYSTEMS; MECHANISMS; PACKAGING MACHINES; PETRI NETS; SPECIFICATIONS; SYNCHRONIZATION;

HIGH SPEED MACHINERY; HYBRID CONTROL; REAL TIME CONTROL; SEQUENTIAL FUNCTION CHARTS; VERIFICATION;

DISCRETE TIME CONTROL SYSTEMS;

EID: 0030105487     PISSN: 13502379     EISSN: None     Source Type: Journal    
DOI: 10.1049/ip-cta:19960266     Document Type: Article

References (23)

1. HOLDING D.J., and SAGOO J.S.: 'A formal approach to the software control of high-speed machinery' in IRWIN, G.W., and FLEMING, P.J. (Eds.): 'Transputers in real-time control' (Research Studies Press, 1992), Chap. 9
2. GROSSMAN, R.L., NERODE, A., RAVN, A.P., and RISCHEL, H. (Eds.): 'Hybrid systems', LACS-vol. 736 (Springer Verlag, 1993)
3. LANGMAACK, H., DE ROEVER, W.-P., and VYTOPIL, S. (Eds.): 'Formal techniques in real-time and fault-tolerant systems', LNCS-vol. 863 (Springer Verlag, 1994)
4. IEC 1131, International Electrotechnical Commission: 'International standard for programmable controllers, programming languages', March 1993
5. JIANG, J., and HOLDING, D.J.: 'The formalisation and analysis of sequential function charts using a Petri net approach', 13th IFAC world congress, IFAC'96, San Francisco, 1996, (in press)
6. PETERSON, J.L.: 'Petri net theory and the modelling of systems' (Prentice Hall, 1981)
7. SKEEN, D., and STONEBRAKER, M.: 'A formal model of crash recovery in a distributed system', IEEE Trans. Softw. Eng., 1983, 9, (3), pp. 213-228
8. DAVID, R.: 'Modelling of dynamic systems by Petri nets', ECC 91 European Control conference, 2-5 July 1991, Laboratoire d'Automatique de Grenoble, Grenoble, France, pp. 136-147
9. MALLABAND, S.: 'Specification of real time control systems by means of sequential function charts', International conference on Software engineering for real-time systems, 16-18 September 1991, pp. 57-61
10. HOARE, C.A.R.: 'Communicating sequential processes' (Prentice Hall, 1985)
11. REISIG, W.: 'Petri nets: an introduction' (Springer Verlag, 1985)
12. HOLLOWAY, L.E., and KROGH, B.H.: 'Synthesis of feedback control logic for a class of controlled Petri nets', IEEE Trans. Autom. Control, 1990, 35, (5), pp. 514-523
13. LAMPORT, L.: 'Proving the correctness of multiprocess programs', IEEE Trans. Softw. Eng., 1977, SE-3, (2), pp. 125-143
14. LEVENSON, N.G.: 'Safeware-system safety and computers' (Addison Wesley, 1995)
15. MURATA, T.: 'Petri nets: Properties, analysis and applications', Proc. IEEE, 1989, 77, (4), pp. 541-580
16. DAVID, R., and ALLA, H.: 'Petri nets and Grafcet: Tools for modelling discrete event systems' (Prentice Hall, 1992)
17. ZURAWSKI, R., and ZHOU, M.C.: 'Petri nets and industrial applications: A tutorial', IEEE Trans. Indust. Electron., 1994, 41, (6), pp. 567-585
18. DESROCHERS, A.A., and AL-JAAR, R.Y.: 'Applications of Petri nets in manufacturing systems' (IEEE, New York, 1995)
19. SUZUKI, I., and LU, H.: 'Temporal Petri nets and their application to modelling and analysis of a handshake daisy chain arbiter', IEEE Trans. Comput., 1989, 38, (5), pp. 641-704
20. HE, X., and LEE, J.A.N.: 'Integrating predicate transition nets with first order temporal logic in the specification and analysis of concurrent systems', Form. Asp. Comput., 1990, 2, pp. 226-246
21. SAGOO, J.S., and HOLDING, D.J.: 'A comparison of temporal Petri net based techniques in the specification and design of hard real-time systems', Microprocess. Microprogr., 1991, 32, (1-5), pp. 111-118
22. MERLIN, P.M., and FARBER, D.J.: 'Recoverability of communication protocols, implications of a theoretical study', IEEE Trans., 1976, COM-24, pp. 1036-1043
23. LEVENSON, N.G., and STOLZY, J.L.: 'Safety analysis using Petri nets', IEEE Trans. Softw. Eng., 1987, SE-13, (3), pp. 386-397