Skip to main content
SpringerLink
Log in

A rule-based system for generating a ladder logic control program from a high-level systems model

  • Papers
  • Published:
Journal of Intelligent Manufacturing Aims and scope Submit manuscript

Abstract

In this article an interface between a high-level specification of a system and a logic controller of that system is developed. The interface is based on a number of rules to transform an IDEF0 specification into an intermediate-level Petri-net-based controller and to transform the intermediate specification into a ladder logic program which can be run on a PLC. These rules could be used as a basis for developing an expert system to handle the interface. Such an expert system provides an environment for rapid prototyping and analysis of controllers.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  • Albus, J., Barbera, A. and Nagel, R. (1981) Theory and practice of hierarchical control, inProceedings of 23rd IEEE Computer Society International Conference, pp. 18–39.

  • Al-Jaar, R. Y. and Desrochers, A. A. (1990) Petri nets in automation and manufacturing, inAdvances in Automation and Robotics, Sardis, G. N. (ed.), Vol. 2, JAI Press, Inc.

  • Atabakche, H., Simonetti Barbalho, D., Valette, R. and Courvoisier, M. (1986) From Petri net based PLCs to knowledge based control, inIECON 86, Milwaukee, WI, pp. 817–822.

  • Beck, C. L. and Krogh, B. H. (1986) Models for simulation and discrete control of manufacturing systems, inProceedings of the IEEE International Conference on Robotics and Automation, pp. 305–310.

  • Berthomieu, B. and Menasche, M. (1983) An enumerative approach for analyzing time Petri nets,Information Processing, 83, R.E.A. Mason (ed.).

  • Bigou, J., Courvoisier, M., Demmov, H., Descalaux, C., Pascal, J. and Valette, R. (1987) A methodology of specification and implementation of distributed discrete control systems.IEEE Transactions on Industrial Electronics,34 (4), pp. 417–421.

    Google Scholar 

  • Bollinger, J. G. and Duffie, N. A. (1988)Computer Control of Machines and Processes, Addison-Wesley.

  • Boucher, T. O., Jafari, M. A. and Meredith, G. A. (1990) Petri net control of an automated manufacturing cell.Advanced Manufacturing Engineering,2 (4), pp. 151–157.

    Google Scholar 

  • Bruno, G. and Morisio, M. (1987) Petri net based simulation of manufacturing cells, inProceedings of the IEEE International Conference on Robotics and Automation, pp. 1174–1179.

  • Bullers, W. J., Nof, S. Y. and Whinsten, A. B. (1980) AI in manufacturing planning and control.IIE Transactions,12 (4), pp. 351–362.

    Google Scholar 

  • Chocron, D. and Cerny, E. (1980) A Petri net based industrial sequencer, inProceedings of IEEE International Conference & Exhibition on Industrial Control and Instrumentation, pp. 18–22.

  • Cohen, G., Dubois, D., Quadrat, J. P. and Viot, M. (1985) A linear system-theoretic view of discrete-event processes and its use for performance evaluation in manufacturing.IEEE Transactions on Automatic Control,30 (3), 210–220.

    Google Scholar 

  • Corbeel, D., Gentina, J. and Vercauter (1985) Application of an extension of Petri nets to modelization of control of production processes, in6th European Workshop on Applications and Theory of Petri Nets, Finland, pp. 162–180.

  • Courvoisier, M., Valette, R., Bigao, J. and Esteban, P. (1983) A programmable logic controller based on a high level specification tool, inInternational Conference on Industrial Electronics, Control, and Instrumentation (IECON), San Francisco, CA, pp. 174–179.

  • Crockett, D., Desrochers, A., DiCesare, F. and Ward, T. (1987) Implementation of a Petri net controller for a machining workstation, inProceedings of the IEEE International Conference on Robotics and Automation, April, pp. 1861–1867.

  • Cunningham-Green, R. A. (1962) Describing industrial processes and approximating their steady state behavior.Operational Research Quarterly,13, 95–100.

    Google Scholar 

  • Dorfman, M. (1990) System and software requirements engineering, inTutorial: System and Software Requirements Engineering, Thayer, R. H. and Dorfman, M. (eds), IEEE Computer Society Press, Washington, DC.

    Google Scholar 

  • Dubois, D. and Stecke, K. E. (1983) Using Petri nets to represent production processes, inProceedings of the 22nd IEEE Conference on Decision and Control, pp. 1062–1067.

  • Dubois, D. and Stecke, K. E. (1990) Dynamic analysis of repetitive decision-free discrete event processes: applications to production systems.Annals of Operations Research, volume on Automatic manufacturing systems, Mazzola, J. B. (ed.), pp. 151–193.

  • Dugan, J. B.et al. (1985) The design of a unified package for the solution of stochastic Petri net models, inProceedings of the IEEE International Workshop on Timed Petri Nets, Torino, Italy, July.

  • Eisenbrown, R. (1988) Programmable controllers move to systems solution.Manufacturing Engineering,100 (1), 59–61.

    Google Scholar 

  • Fox, M. S. (1983) Constraint directed approach: a case study to job shop scheduling, Ph.D. Thesis, Department of Computer Science, Carnegie-Mellon University, Pittsburgh, PA.

    Google Scholar 

  • Gyman, D. (1988) An old favorite gets new standards.Manufacturing Engineering,100 (1), 55–58.

    Google Scholar 

  • Hesegawa, K. and Ohno, H. (1985) On programming of conventional programmable controllers by using mark flow graphs, inProceedings of ISCAS 85, pp. 933–936.

  • Jafari, M. A. (1992) An architecture for shop-floor controller using colored Petri nets.International Journal of Flexible Manufacturing Systems,4, 159–181.

    Google Scholar 

  • Jafari, M. A. and Majmudar, K. (1992) Functional and performance analysis of time Petri nets, Working paper 92-110, Department of Industrial Engineering, Rutgers University.

  • Jockovic, M. (1988) An application of Petri nets in the control system of FTC supercomputers: technology and applications, in14th EUROMICRO Symposium on Microprocessing and Microprogramming.

  • Jones, A. T. and McLean, C. R. (1986) A proposed hierarchical control model for automated manufacturing systems.Journal of Manufacturing Systems,5 (1), 15–25.

    Google Scholar 

  • Kamath, M. and Viswanadham, N. (1986) Applications of Petri net based models in the modeling and analysis of FMS, inProceedings of the IEEE International Conference on Robotics and Automation, pp. 312–17.

  • Kimemia, J. and Gershwin, S. B. (1983) An algorithm for the computer control of production in a FMS.IIE Transactions,15 (4), 353–362.

    Google Scholar 

  • Kiran, A. S. and Tansel, B. C. (1986) Mathematical programming models for flexible manufacturing systems, Working Paper # 86-01, Department of ISE, USC, CA.

    Google Scholar 

  • Koh, I., DiCesare, F. and Rubenstein, A. (1991) Modeling and control information flow for a CIM system using colored Petri nets, inProceedings of the IEEE-SMC International Conference, Charlottesville, VI, Oct. 13–16.

  • Komoda, N., Murata, T. and Matsumoto, K. (1985) Petri net based controller: SCR and its applications in factory automation, inProceedings of ISCAS.

  • Kumagai, S. (1986) Modeling and analysis of distributed systems: a net theoretic approach, inProceedings of the IIASA Conference, Sopron, Hungary.

  • Lautenbach, K. (1987) Linear algebraic techniques for place/transition nets, inLecture Notes in Computer Science, Vol. 254, Springer-Verlag, NY.

    Google Scholar 

  • Marca, D. A. and McGowan, C. L. (1988)SADT: Structured Analysis and Design Technique, McGraw Hill.

  • Marsan, A. M., Balbo, G., Chiola, G. and Conte, G. (1987) Generalized stochastic Petri nets revisited: random switches and priorities, inProceedings of the International Workshop on Petri Nets & Performance Models, Madison, WI, Aug. pp. 44–53.

  • Martinez, J. and Silva, M. (1986) A language for the description of concurrent systems modeled by colored Petri nets: application to the control of flexible manufacturing systems, inLanguages for Automation, Change, S. K. (ed.), Plenum, NY.

    Google Scholar 

  • Memmi, G. and Roucairol, G. (1979) Linear algebra in net theory,Lecture Notes in Computer Science, Vol. 84, Springer-Verlag, pp. 213–223.

  • Merabet, A. (1986) Synchronization of operations in a flexible manufacturing cell: the Petri net approach.Journal of Manufacturing Systems,5 (3), 161–169.

    Google Scholar 

  • Merlin, P. and Farber, D. J. (1976) Recoverability of communication protocols.IEEE Transactions on Communications,24 (9), 1036–1043.

    Google Scholar 

  • Molly, M. K. (1982) Performance analysis in using stochastic Petri nets.IEEE Transactions on Computers,31 (9), 913–917.

    Google Scholar 

  • Morton, T. E. and Smunt, T. L. (1986) A planning and scheduling for flexible manufacturing, inFMS: Methods and Studies, Kusiak, A. (ed.), North Holland, Amsterdam, pp. 151–164.

    Google Scholar 

  • Murata, T., Komuda, N., Matsumoto, K. and Haruna, K. (1986) A Petri net based controller for flexible and maintainable sequence control and its applications in factory automation.IEEE Transactions on Industrial Electronics,33 (1), 1–8.

    Google Scholar 

  • Narahari, Y. and Viswanadham, N. (1985) A Petri net approach to the modeling and analysis of flexible manufacturing systems.Annals of Operations Research,3, 449–472.

    Google Scholar 

  • Nof, S., Whinston, A. and Bullers, W. (1980) Control and decision support in automatic manufacturing systems.IIE Transactions,12 (2), 156–169.

    Google Scholar 

  • Peterson, J. L. (1977) Petri nets.Computing Surveys,9 (3), 223–252.

    Google Scholar 

  • Peterson, J. L. (1981)Petri net theory and the modeling of systems, Prentice Hall.

  • Petri, C. A. (1962) Kommunikation with Automaten, Ph.D. Dissertation, University of Bonn, West Germany.

    Google Scholar 

  • Ramamoorthy, C. V. and Ho, G. S. (1980) Performance evaluation of asynchronous concurrent systems using Petri nets.IEEE Transactions on Software Engineering,6 (5), 440–449.

    Google Scholar 

  • Ramchandani, C. (1974) Analysis of asynchronous concurrent systems by timed Petri nets, Ph.D. Dissertation, Department of Electronic Engineering, MIT, Cambridge, MA.

    Google Scholar 

  • Ross, D. T. (1977) Structured analysis (SA): a language for communicating ideas.IEEE Transactions on Software Reliability,3 (1), 16–34.

    Google Scholar 

  • Sahraoui, A., Atabakhche, H., Courvoisier, M. and Valette, R. (1987) Joining Petri nets and knowledge based systems for monitoring purposes, inProceedings of IEEE International Conference on Robotics and Automation, April, pp. 1160–1165.

  • Shapiro, R. M., Valrio, O. and Mameli, R. (1990)Modeling a NORAD command post using SADT and colored Petri nets, Meta Software Co., Cambridge, MA.

    Google Scholar 

  • Shaw, M. (1987) Distributed planning in cellular flexible manufacturing systems.Infor,25 (1), pp. 13–25.

    Google Scholar 

  • Sifakis, J. (1977) Use of Petri nets for performance evaluation, inMeasuring, Modeling, and Evaluating Computer Systems, Beilner, H. and Gelenbe, E. (eds), North Holland, Amsterdam, pp. 75–93.

    Google Scholar 

  • Sifakis, J. (1978) Structural properties of Petri nets, inMathematical Foundation of Computer Science, Winkowski, J. (ed.), Springer-Verlag, NY, pp. 474–483.

    Google Scholar 

  • Silva, M. and Velilla, S. (1982) Programmable logic controllers and Petri nets: a comparative study, inProceedings of IFAC Conference on Software for Computer Control, Madrid, Spain, pp. 83–88.

  • Simpson, J. A., Hocken, R. J. and Albus, J. S. (1986) The automated manufacturing research facility of the NBS.Journal of Manufacturing Systems,1 (1), 17–32.

    Google Scholar 

  • SoftTech, Inc. (1981) Integrated computer aided manufacturing (ICAM) final report: IDEF0 functional modeling manual.

  • Srinivasan, V. S. and Jafari, M. A. (1993) Monitoring and fault detection of shop floor control using time Petri nets, Working paper 92-104, Department of Industrial Engineering, Rutgers University.

  • Stecke, K. E. (1984) Design, planning, scheduling and control problems of FMS, inProceedings of 1st ORSA/TIMS Conference on FMS, Aug.

  • Taconet, B. and Chollot, B. (1979) Programmation du Grafcet sur automate à language logique, à relais ou Boolean.Le Nouvel Automatisme,24 (1–2).

  • Togino, K., Furata, K. and Kobashi, K. (1980) A controller independent programming language for sequentially controlled machine, inProceedings of 4th International IFIP/IFAC Conference on Progress Research and Operations Logistics in Advanced Manufacturing Technology, Ann Arbor, MI.

  • Tsuji, K., Kumagai, S., Kodama, S. and Yamada, T. (1986) Modeling and verification of sequential control systems by Petri nets, inIEEE 1986 International Symposium on Circuits and Systems, Jan Jose, CA, pp. 988–995.

  • Viswanadham, N. and Narahari, Y. (1987) Coloured Petri net models for automated manufacturing systems, inProceedings of IEEE International Conference on Robotics and Automation, pp. 1985–1990.

  • Wu, S. Y. and Wysk, R. A. (1987) Multi-pass expert control system (MPECS) — a control/scheduling structure for FMC, Working Paper, Department of Industrial Engineering, Lehigh University.

  • Young, R. E. and Rossi, M. A. (1988) Toward knowledge-based control of FMS.IIE Transactions,20 (1).

Download references

Author information

Authors and Affiliations

  1. Department of Industrial Engineering, Rutgers University, PO Box 909, 08855, Piscataway, NJ, USA

    Mohsen A. Jafari & Thomas O. Boucher

Authors
  1. Mohsen A. Jafari
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Thomas O. Boucher
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Jafari, M.A., Boucher, T.O. A rule-based system for generating a ladder logic control program from a high-level systems model. J Intell Manuf 5, 103–120 (1994). https://doi.org/10.1007/BF00572403

Download citation

  • Received:

  • Accepted:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00572403

Keywords

Search

Navigation