Specification and design of logic controllers for automated manufacturing systems

Robotics and Computer-Integrated Manufacturing

Volumn 12, Issue 4, 1996, Pages 353-366

  Zaytoon, Janan ^a  

^a UNIVERSITÉ DE REIMS CHAMPAGNE ARDENNE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; CONTROL SYSTEMS; DATA STRUCTURES; PETRI NETS; PROGRAMMABLE LOGIC CONTROLLERS; SPECIFICATIONS;

AUTOMATED MANUFACTURING SYSTEMS; CONTROL DESIGNER; CONTROL LOGIC; DATA ORIENTED METHODS; DYNAMIC ORIENTED METHODS; GRAFCET; LOGIC CONTROLLERS; OBJECT ORIENTED METHODS; PROCESS ORIENTED METHODS;

COMPUTER INTEGRATED MANUFACTURING;

EID: 0030414628     PISSN: 07365845     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0736-5845(96)00015-4     Document Type: Article

References (34)

1. Allen, J. F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11): 832-843, 1983.
2. Al-Jaar, R., Desrochers, A.: Performance evaluation of automated manufacturing systems using generalized stochastic Petri nets. IEEE Trans. Robotics Automn 6(6): 621-639, 1991.
3. Bailin, S. C.: An object-oriented requirements specification method. Commun. ACM 32(5): 608-623, 1989.
4. Baldassari, M., Bruno, G.: PROTOB, an object oriented methodology for developing discrete event dynamic systems. Computer Language 16(1): 39-63, 1991.
5. Billington, J., Wheeler, G. R., Wilbur-Ham, M. C.: PROTEAN: a high-level Petri net tool for the specification and verification of communication protocols. IEEE Trans. Sw. Engng 14(3): 301-316, 1988.
6. Booch, G.: Object-oriented development. IEEE Trans. Sw. Engng 12(2): 211-221, 1986.
7. Boucher, T. O., Jafari, M. A.: Design of a factory floor sequence controller from a high level system specification. J. mfg Systems 11(6): 401-417, 1992.
8. Colquhoun, G.J., Baines, R.W., Crossley, R.: A state of the art review of IDEF0. Int. J. CIM 6(4): 252-264, 1993.
9. Chen, P.: The entity-relationship model - towards a unified view of data. ACM Trans. Database Systems 1(1): 9-36, 1976.
10. David, R.: Grafcet - a powerful tool for specification of logic controllers. IEEE Trans. Control Systems Tech. 3(3), 253-268, 1995.
11. David, R., Alla, H.: Petri Nets and Grafcet. London, Prentice-Hall. 1992.
12. Delatte, B., Heitz, M., Muller, J.F.: HOOD Reference Manual 3.1. Paris, Masson. 1993.
13. De Marco, T.: Structured Analysis and Systems Specification. Englewood Cliffs, NJ, Prentice-Hall. 1978.
14. Freedman, P.: Time, Petri nets, and robotics. IEEE Trans. Robotics Automn 7(4): 417-433, 1991.
15. Gentina, J. C., Bourey, J. P., Kapusta, M.: Coloured adaptive structured Petri net: a tool for the automatic synthesis of hierarchical control of FMS. CIM Systems 1(1): 39-47, 1988.
16. Harel, D.: Statecharts, a visual formalism for complex systems. J. Sci. Computer Progm. 8(1): 231-274, 1987.
17. Jafari, M. A., Boucher, T. O.: A rule-based system for generating a ladder logic program from a high-level system model. J. Intelligent Mfg 5(2): 103-120, 1994.
18. Jensen, K.: Coloured Petri nets and the invariant method. Theor. Computer Sci. 14: 317-336, 1981.
19. Jensen, K.: Coloured Petri nets - a high level language for system design and analysis. In Lecture Notes in Computer Science, Vol. 483, Rozenberg, G. (Ed.). Berlin, Springer. 1990, pp. 342-416.
20. Liang, G. R., Hong, H. M.: Hierarchy transformation method for repetitive manufacturing system specification, design, verification and implementation. CIM Systems 7(3): 191-205, 1994.
21. Mandel, K.: Graphical process description - views and diagrams. Int. J. CIM 3(5): 314-327, 1990.
22. Manna, Z., Pnueli, A.: The anchored version of the temporal framework. In Lecture Notes in Computer Science, Vol. 354, De Bakker, J. W., De Roever, W. P., Rozenberg G. (Eds). Berlin, Springer. 1989, pp. 313-341.
23. Marca, D. A., McGonan, C. L.: Structured Analysis and Design Technique. New York, McGraw-Hill. 1988.
24. Moalla, M.: Réseaux de Petri interprétés et Grafcet (in French). Techn. Sci. Inf. 4(1): 17-30, 1985.
25. Peterson, J. L.: Petri Net Theory and the Modelling of Systems. London, Prentice-Hall. 1981.
26. Ross, D. T.: Applications and extensions of SADT. Computer IEEE 18(4): 25-34, 1985.
27. Ross, D. T., Schoman, K. E.: Structured analysis for requirements definition. IEEE Trans. Sw. Engng 3(1): 86-95, 1977.
28. Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W.: Object-oriented Modeling and Design. Englewood Cliffs, NJ, Prentice-Hall. 1991.
29. Tardieu, H., Rochfeld, A., Colletti, R.: La méthode MERISE, Vol. 1. Paris, Editions d'Organisation. 1983 (in French).
30. Vernadat, F., Di Leva, A., Giolito, P.: Organisation and information system design of manufacturing environments: the new M* approach. CIM Systems 2(2): 69-81, 1989.
31. Ward, P. T.: The transformation schema: an extension of the data flow diagram to represent control and timing. IEEE Trans. Sw. Engng 12(2): 247-254, 1986.
32. Zaytoon, J., Niel, E., Mille, A., Jutard, A.: A temporal SADT model for automated manufacturing systems. In Proceedings of the International Conference IEPM'93, Mons, Belgium. 1983, pp. 154-165.
33. Zaytoon, J., Niel, E., Mille, A.: A functional to behavioural transformation framework for the specification and design of manufacturing systems. CIM Systems 7(4): 247-258, 1994.
34. Zaytoon J.: Applying the intervals logic and object modelling technique into computer integrated manufacturing and engineering. In Proceedings of the 7th IFAC/IFORS/IMACS Symposium on Large Scale Systems. London, Pergamon Press. 1995, pp. 37-42.