PN⇔PLC: A methodology for designing, simulating and coding PLC based control systems using Petri nets

International Journal of Production Research

Volumn 35, Issue 6, 1997, Pages 1743-1762

  Taholakian, A ^a   Hales, W M M ^a  

^a SHEFFIELD HALLAM UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CONTROL; COMPUTER SIMULATION; FLEXIBLE MANUFACTURING SYSTEMS; LARGE SCALE SYSTEMS; MACHINE TOOLS; NUMERICAL CONTROL SYSTEMS; PETRI NETS;

COMPUTER NUMERICALLY CONTROLLED (CNC) MACHINE TOOLS; FLEXIBLE MANUFACTURING CELLS (FMCS); LADDER LOGIC DIAGRAM;

PROGRAMMABLE LOGIC CONTROLLERS;

EID: 0031165254     PISSN: 00207543     EISSN: 1366588X     Source Type: Journal    
DOI: 10.1080/002075497195245     Document Type: Article

References (22)

1. Aguiar, M. W. C. and Weston, R. H., 1993, CIM-OSA and stochastic time Petri nets for behavioural modelling and model handling in CIM systems design and building. Proceedings of the Institute of Mechanical Engineers, 207, 147-158.
2. Ariffin, S., Weston, R. H. and Harrison, R., 1995, A modular Petri net approach to the design of distributed control systems. Proceedings of the 31st International Matador Conference, conf. code 45875, pp. 621-626.
3. Bass, J. M., Browne, a. R. et al, 1994, Automating the development of distributed control software. IEEE Parallel & Distributed Technology: Systems & Applications, 2 (4), 9-19.
4. Bloomfield, R. E. and Froome, P. K. D., 1991, Formal methods in the production and assessment of safety critical software, reliability engineering and system safety, 32, 5166.
5. Boehm, W. B., 1988, A spiral model of software development and enhancement. Computer, 21 (5), 61-72.
6. Clarke, S., Moran, G., et al. 1995, A code of practice for the development of safe PLC software. Proceedings of the Safety-critical Systems Symposium, Brighton 1995 (Berlin: Springer).
7. Cotter, S. M. and Woodward, A. T., 1986, Designing better programs for controllers. Control and Instrumentation, 18, 75-83.
8. Courvoisier, M., Valette, R., Bigou, J. M. and Esteban, P., 1983, A programmable Logic Controller Based on a High Level Specification Tool, Proceedings of the IECON Conference on Industrial Electronics, pp. 174-179.
9. David, R. and Alla, H., 1992, Petri Nets and Grafcet (UK: Prentice Hall).
10. Gray, P., 1996, A Petri net-occam based methodology for the development of dependable distributed control software. PhD thesis, Hallam University, Sheffield.
11. Halang, W. A., 1989, Languages and tools for the graphical and textual system independent programming of programmable logic controllers. Microprocessing and Micro-proramming, 27 (1-5), 583-590.
12. Hales, W. M. M., Gray, P. and Poole, F., 1993, The Development of a Dependable Distributed Control System for Flexible Manufacture. Proceedings of WTC’93, World Transputer Congress.
13. IEC, International Electrotechnical Commission, 1992, Programmable Controllers -Programming Languages. 1131 part 3 standard 65B Secretariat, Central Office, Geneva.
14. Jafari, M. A. and Boucher, T. O., 1994, A rule-based system for generating a ladder logic control program from a high level systems model. Journal of Intelligent Manufacturing, 5 (2), 103-120.
15. Jelly, I. and Gorton, I., 1994, Software engineering for parallel systems. Information and Software Technology, 36(7), 381-396.
16. Nagao, Y., 1993, Application of Petri nets to sequence control. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. E76-A (10), 1598-606.
17. Peterson, J. L., 1981, Petri net theory and the modelling of systems (New Y ork: Prentice Hall) ISBN 0-13-661983-5.
18. Satoh, T., Oshima, H., Nose, K. and Kumagal, S., 1992, Automatic generation system of ladder list program by Petri net. Proceedings of the IEEE International Workshop on Emerging Technologies and Factory Automation-Technology for the Intelligent Factory, pp. 128-33.
19. SEMSPLC, Software Engineering Methods for Safe Programmable Logic Controllers, 1992 95, DTI/SERC Sponsored Collaborative Project. Collaborators also include University of York, York Software Engineering Ltd., Cegelec Ltd, ICI Ltd, IDEC Ltd, Nuclear Electric plc, the HSE, and Cincinnati Milacron Ltd.
20. Shatz, S. M. and Wang, J. P., 1987, Introduction to distributed software engineering. IEEE Computing, 20 (10), 23-31.
21. Taholakian, A. and Hales, W. M. M., 1995, The design and modelling of PLC programs using Petri nets. Proceedings of the International Conference on Maintenance, Reliability and Quality, pp. 194-199.
22. Weston, R. H., 1993, Steps towards enterprise-wide integration: a definition of need and firstgeneration open solutions. International Journal of Production Research, 31 (9), 2235-2254.