Skip to main content
SpringerLink
Log in

A structure-function-control paradigm for knowledge-based modeling and design of manufacturing workcells

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

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.

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.

Institutional subscriptions

Similar content being viewed by others

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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Boehm, B. W. (1988) A spiral model of software development and enhancement.Computer,21, 61–72.

    Google Scholar 

  • Borgida, A., Greenspan, S. J. and Mylopoulos, J. (1985) Knowledge representation as the basis for requirements specification.Computer,18, 82–91.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Luqi (1989) Software evolution through rapid prototyping.Computer,22, 13–25.

    Google Scholar 

  • 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.

    Google Scholar 

  • Murata, T. (1989) Petri nets: properties, analysis and applications.Proceedings of the IEEE,77, 541–80.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Reisig, W. (1985) Petri Nets: An Introduction, Springer Verlag, Berlin.

    Google Scholar 

  • Roman, G.-C. (1985) A taxonomy of current issues in requirements engineering.Computer,18, 15–23.

    Google Scholar 

  • Silma Inc. (1989)CimStation, Advertisement material, Silma Inc., CA.

    Google Scholar 

  • Smith, J. and Smith, D. (1977) Database abstractions: aggregation and generalization.ACM Transactions on database Systems,2, 105–33.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Suri, R. and Whitney, C. K. (1984) Decision support requirements in flexible manufacturing.Journal of Manufacturing Systems,3, 61–9.

    Google Scholar 

  • Tecnomatix Inc. (1989)RobCad, Advertisement material, Tecnomatix, Israel.

    Google Scholar 

  • Teng, S. and Black, J. T. (1990) Cellular manufacturing systems modeling: the Petri net approach.Journal of Manufacturing Systems,9, 45–54.

    Google Scholar 

  • 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.

    Google Scholar 

  • Wing, J. M. (1990) A specifier's introduction to formal methods.Computer,23, 8–24.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Ingegneria dell' Informazione, Università degli Studi di Parma, Italy

    Stefano Caselli

  2. Department of Electrical Engineering, University of Florida, 32611, Gainsville, Florida, USA

    Constantinos Papaconstantinou & Keith L. Doty

  3. College of Computing, Georgia Institute of Technology, USA

    Shamkant Navathe

Authors
  1. Stefano Caselli
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Constantinos Papaconstantinou
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Keith L. Doty
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Shamkant Navathe
    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

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

Download citation

  • Received:

  • Accepted:

  • Issue Date:

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

Keywords

Search

Navigation