Abstract
This paper discusses the integration of structural, functional and control knowledge in manufacturing workcell modeling, simulation and design. After an overview of applications of semantic and object-oriented data models in the manufacturing domain, issues relating to the control synthesis for manufacturing workcells are presented. In particular, a data model encompassing functional and control features, along with application domain structural knowledge, is developed. This model assists in explicitly representing the control aspects of engineering design within an object-oriented database and supports a task-level, functionality-driven, manufacturing workcell design. Since manufacturing workcells consist of a number of elements interacting in a complex manner, workcell control design is one of the most difficult steps in the workcell design procedure. Message passage, commonly used in object-oriented databases, provides no explicit modeling of the database behavior. Hence, it can not serve as a tool for the design of system control. On the other hand, Petrinets (PN) have proven successful in describing complex interaction among active agents. This paper will explore the incorporation of Petri nets as a basis for describing application control knowledge within a structure-function-control data model.
Similar content being viewed by others
Explore related subjects
Find the latest articles, discoveries, and news in related topics.References
Alami, R. and Chochon, H. (1985) Programming of flexible assembly cell: task modelling and system integration, inProceedings of the International Conference on Robotics and Automation, St Louis, MO, pp. 901–7.
Alford, M. (1985) SREM at the age of eight: the distributed computing design system.Computer,18, 36–46.
Black, J. T. (1988) The design of manufacturing cells (step one to integrated manufacturing systems), inProceedings of Manufacturing International '88, Atlanta, GA, Vol. 3, pp. 143.
Boehm, B. W. (1984) Verifying and validating software requirements and design specifications.IEEE Software,1, 75–88.
Boehm, B. W. (1988) A spiral model of software development and enhancement.Computer,21, 61–72.
Borgida, A., Greenspan, S. J. and Mylopoulos, J. (1985) Knowledge representation as the basis for requirements specification.Computer,18, 82–91.
Carswell, J. L. and Navathe, S. B. (1986) SA-ER: a methodology that links structured analysis and entity-relationship modeling for database design, inProceedings of the 5th International Entity-Relationship Conference, France.
Caselli, S. and Faldella, E. (1988) Synthesis of control logic for discrete-state manufacturing systems by means of Petri nets, inProceedings of Workshop on Coordination Management by Means of Petri Nets, Italy (in Italian).
Caselli, S., Papaconstantinou, C. and Doty, K. L. (1990) Using semantic data models in knowledge-based manufacturing workcell design, inProceedings of the 5th IEEE International Symposium on Intelligent Control, Philadelphia.
Chen, P. (1976) The entity relationship model-toward a unified view of data.ACM transactions on Database Systems, Vol. 1, No. 1, pp. 9–36.
Cornelio, A. and Navathe, S. B. (1990) Integration and cataloging of engineering design information, inProceedings of the First International Conference on Systems Integration, IEEE Press, NJ.
Cornelio, A., Navathe, S. B. and Doty, K. L. (1990) Extension of object-oriented concepts for engineering design and simulation, inProceedings of the 6th International Conference on Data Engineering, Los Angeles, CA.
Courvoisier, M., Valette, R., Bigou, J. M. and Esteban, P. (1983) A programmable logic controller based on a high level specification tool, inProceedings of the IEEE Conference on Industrial Electronics (IECON '83), San Francisco, pp. 174–9.
Crockett, D., Desrochers, A. A., DiCesare, F. and Ward, T. (1987) Implementation of a Petri net controller for a machining workstation, inProceedings of the IEEE Intermational Conference on Robotics and Automation, Raleigh, NC, pp. 1861–7.
Dart, S. A., Ellison, R. J., Feiler, P. H. and Habermann, A. N. (1987) Software development environments.Computer,20, 18–28.
Deneb Robotics, Inc. (1990)GRIP Simulation System User Manual, Deneb Robotics, Inc.
Desrochers A. A. (1990) Modeling and control using Petri nets, inModeling and Control of Automated Manufacturing Systems, IEEE Computer Society Press, Washington, DC, pp. 239–51.
Eastman, C. M. (1981) Database facilities for engineering design, inProceedings of the IEEE,69, 1249–63.
Fernicola, P. F. (1990) Layout module and database modeling for the workcell design system (WORDS), Master Thesis, University of Florida.
Fisher, E. L. (1985) Logic-based factory design, inProceedings of the IEEE International Conference on Robotics and Automation, St Louis, MO, pp. 176–81.
Hull, R. and King, R. (1987) Semantic database modeling: survey, applications, and research issues.ACM Computing Surveys,19, 201–260.
Jablonski, S., Ruf, T. and Wedekind, H. (1988) Implementation of a distributed data management system for manufacturing applications, inProceedings of the International Conference on C.I.M., Troy, NY, pp. 19–28.
Jaikumar, R. (1986) Postindustrial manufacturing.Harvard Business Review,64, 69–76.
Kamath, M. and Viswanadham, N. (1986) Application of Petri net based models in the modelling and analysis of flexible manufacturing systems, inProceedings of the IEEE International Conference on Robotics and Automation, San Francisco, CA, pp. 312–17.
Kasturia, E., DiCesare, F. and Desrochers, A. A. (1988) Real time control of multilevel manufacturing systems using colored Petri nets, inProceedings of the IEEE International Conference on Robotics and Automation, Philadelphia, pp. 1114–19.
Ketcham, M. C., Smith, J. M. and Nnaji, B. O. (1988) An integrated data model for CIM planning and control, inProceedings of the International Conference on C.I.M., Troy, NY, pp. 338–42.
Krogh, B. H. and Sreenivas, R. J. (1987) Essentially decision free Petri nets for real-time resource allocation, inProceedings of the IEEE International Conference on Robotics and Automation, Raleigh, NC, pp. 1005–11.
Levas, A. and Jayaraman, R. (1989) WADE: an object-oriented environment for modeling and simulation of workcell application.IEEE Transactions on Robotics and Automation,5, 324–336.
Levesque, H. J. (1989) Knowledge representation and reasoning, inReadings in Artificial Intelligence and Databases, Mylopoulos, J. and Brodie, M. L. (eds), Morgan Kauffman, CA, pp. 35–51.
Luqi (1989) Software evolution through rapid prototyping.Computer,22, 13–25.
Markowitz, V. M. (1990) Representing processes in the extended entity-relationship model, in6th IEEE International Conference on Data Engineering, Los Angeles, pp. 103–10.
Martinez, J., Alla, H. and Silva, M. (1986) Petri nets for the specification of FMSs, inModelling and Design of Flexible Manufacturing Systems, Kusiak, A. (ed.), Elsevier, Amsterdam, pp. 389–406.
Murata, T. (1989) Petri nets: properties, analysis and applications.Proceedings of the IEEE,77, 541–80.
Murata, T., Komoda, 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 IE-33, 1–8.
Nackman, L. R. (1985) Software environemnts for CAD systems, inProceedings of the International Conference on Robotics and Automation, St Louis, MO, pp. 354–7.
Papachristidis, A. C. and Deen, C. B. (1988) An object-oriented framework for increased productivity, inPROCIM'88, Orlando, FL, pp. 73–74.
Papaconstantinou, C., Fernicola, P. F., Doty, K. L. and Navathe, S. B. (1989) Knowledge based manufacturing workcell design and modeling tool, inPROCIEM '89, Orlando, FL, pp. 103–5, October 1989.
Peterson, J. L. (1981)Petri Net Theory and the Modelling of Systems, Prentice Hall, Englewood Cliffs, NJ.
Reisig, W. (1985) Petri Nets: An Introduction, Springer Verlag, Berlin.
Roman, G.-C. (1985) A taxonomy of current issues in requirements engineering.Computer,18, 15–23.
Silma Inc. (1989)CimStation, Advertisement material, Silma Inc., CA.
Smith, J. and Smith, D. (1977) Database abstractions: aggregation and generalization.ACM Transactions on database Systems,2, 105–33.
Spooner, D. L., Hardwick, M. and Liu, K. L. (1988) Integrating the CIM environment using object-oriented data management technology, inProceedings of the International Conference on C.I.M., Troy, N. Y., pp. 144–52.
Spooner, D. L., Wozny, M. J. and Shephard, M. S. (1985) Abstract data types for CAD systems, inProceedings of the International Conference on Robotics and Automation, St Louis, MO, pp. 359–64.
Stáley, S. M. and Boudreaux, J. C. (1988) Programming language environments for CIM, inPROCIM '88, Orlando, FL.
Su S. Y. W. (1986) Modeling integrated manufacturing data with SAM.Computer,19, 34–49.
Su, S. Y. W., Krishnamurthy, V. and Lem, H. (1989) An object-oriented semanate association model (OSAM), Chapter 17, inArtificial Intelligence: Manufacturing theory and practice, edited by S. Kumara, A. Soyster, R. Kashyap, published by the Institute of Industrial Engineers, Industrial Engineering and Management Press, Norcross, Georgia.
Suri, R. and Whitney, C. K. (1984) Decision support requirements in flexible manufacturing.Journal of Manufacturing Systems,3, 61–9.
Tecnomatix Inc. (1989)RobCad, Advertisement material, Tecnomatix, Israel.
Teng, S. and Black, J. T. (1990) Cellular manufacturing systems modeling: the Petri net approach.Journal of Manufacturing Systems,9, 45–54.
Thomas, B. H. and McLean, C. (1988) Using grafcet to design generic controllers inProceedings of the International Conference on C.I.M., Troy, N.Y. pp. 110–19.
Wedekind, H. and Zoerntlein, G. (1987) Conceptual basis for database applications in flexible manufacturing systems (FMS), inProceedings of the IEEE International Conference on Robotics and Automation, Raleigh, NC.
Whitney, C. K. (1986) Building expert systems when no experts exist, inProceedings of the IEEE International Conference on Robotics and Automation, San Francisco, CA, pp. 478–85.
Willson, R. G. and Krogh, B. H. (1990) Petri net tools for the specification and analysis of discrete controllers.IEEE Transactions on Software Engineering,16, 39–50.
Wing, J. M. (1990) A specifier's introduction to formal methods.Computer,23, 8–24.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Caselli, S., Papaconstantinou, C., Doty, K.L. et al. A structure-function-control paradigm for knowledge-based modeling and design of manufacturing workcells. J Intell Manuf 3, 11–30 (1992). https://doi.org/10.1007/BF01471748
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF01471748