INformation Systems for Integrated Manufacturing (INSIM): a design methodology

References

• ANDERSON , D. C. , SOLBERG , J. J. , and PAUL , R. P. , 1984 , Factories of the future how will automation research be integrated? Computers in Mechanical Engineering , 2 , 31 - 36 .
   Google Scholar
• APPLETON , D. S. , 1984 , The state of CIM . Datamation , 30 , 66 - 72 .
   Google Scholar
• BONNEVIE , A. ,K. RZESINSKI , P. , 1987 , A double approach for analysis and design of production systems . ESPRIT'86 Results and Achievements , 469 - 478 .
   Google Scholar
• CHRYSSOLOURIS , G. , 1987 , MADEMA an approach to intelligent manufacturing systems . CIM Review, Spring , 11 - 17 .
   Google Scholar
• COURVOISIER , M. , etal., 1983 , A programmable logic controller based on a high level specification protocol . Proceedings of IECON Conference on Industrial Electronics , 174 - 179 .
   Google Scholar
• CROCKETT , D. H. , and DESROCHERS , A. A. , 1986 , Manufacturing workstation control using petri-nets . Technical Report 83 , Robotics and Automation Laboratory, Department of Electrical, Computer, and System Engineering, Rensselaer Polytechnic Institute .
   Google Scholar
• DATE , C. J. , 1986 , An Introduction to Database System ( Addison-Wesley , Reading , MA ).
   Google Scholar
• DAVIS , W. J. , and JONES , A. T. , 1988 , A real-time production scheduler for a stochastic manufacturing environment . International Journal of Computer Integrated Manufacturing , 1 , 101 - 112 .
   Google Scholar
• DRIDI , N. , LEOPOULOS , V. I. , and PROTH , J. M. , 1985 , Properties of FMS regarding optimal control . Advances in Production Management Systems 85 , 325 - 327 .
   Google Scholar
• FRANKS , R. L. , HOLTMAN , J. P. , HSU , L. C. , RAVMER , L. G. , and SNYDER , B. E. , 1987 , Productivity improvement systems for manufacturing . AT&T Technical Report , 66 , 61 - 76 .
   Google Scholar
• HARHALAKIS , G. , MARK , L. , and LIN , C. P. , 1989 , A knowledge-based prototype of a factory-level CIM system . Journal of Computer Integrated Manufacturing Systems , 2 , 11 - 20 .
   Google Scholar
• HARHALAKIS , G. , LIN , C. P. , HILLION , H. , and MOY , K. , 1990 , Development of a factory level CIM model . Journal of Manufacturing Systems , 9 , 116 - 128 .
   Web of Science ®Google Scholar
• HARHALAKIS , G. , LIN , C. P. , MARK , L. , and MURO , P. , 1991 , Formal representation, verification, and implementation of rule-based INformation Systems for Integrated Manufacturing (INSIM) . Technical Report TR 91-19 , Systems Research Center, University of Maryland , College Park .
   Google Scholar
• HSU , C. , ANGULO , C. , PERRY , A. , and RATTNER , L. , 1987 , A design method for manufacturing information management . Proceedings of Conference on Data and Knowledge Systems for Manufacturing and Engineering, Hartford, CT , 93 - 102 .
   Google Scholar
• JABLONSKI , S. , RUF , T. , and WEDEKIND , H. , 1988 , Implementation of a distributed data management system for manufacturing applications . Proceedings of International Conference on Computer Integrated Manufacturing, Troy , 19 - 25 .
   Google Scholar
• JENG , M. D. , and DICESARE , F. , 1990 , A review of synthesis techniques for Petri Nets . Proceedings of IEEE Computer Integrated Manufacturing Systems Conference, RPI .
   Google Scholar
• JENSEN , K. , 1981 , Coloured Petri Nets and the invariant method . Theoretical Computer Science , 14 , 317 - 336 .
   Web of Science ®Google Scholar
• JENSEN , K. , 1986 , Computer tools for construction, modification, and analysis of Petri Nets . Advances in Petri Nets, Part II , 4 - 19 .
   Google Scholar
• JONES , A. T. , and MCLEAN , C. , 1986 , A proposed hierarchical control model for automated manufacturing systems . Journal of Manufacturing Systems , 5 , 15 - 25 .
   Web of Science ®Google Scholar
• LEE , K. H. , and FAVREL , J. , 1985 , Hierarchical reduction method for analysis and decomposition of Petri Nets . IEEE Transactions on Systems, Man, and Cybernetics , SMC-15 , 272 - 280 .
   Web of Science ®Google Scholar
• LOPEZ , B. , MESEGUER , P. , and PLAZA , E. , 1990 , Knowledge-based systems validation a state of the art . AI Communications , 3 , 58 - 72 .
   Google Scholar
• LU , S. C. Y. , 1986 , Knowledge-based expert systems a new horizon of manufacturing automation . Proceedings of Knowledge-Based Expert Systems for Manufacturing in the Winter Annual Meeting of ASME , Anaheim , CA , 11 - 23 .
   Google Scholar
• MARK , L. , and ROUSSOPOULOS , N. , 1987 , Operational specification of update dependencies . Systems Research Center Technical Report No. SRC TR 87-37 , University of Maryland .
   Google Scholar
• MARTINEZ , J. , and SILVA , M. , 1982 , A simple and fast algorithm to obtain all invariants of a generalized Petri Net . Second European Workshop on Application and Theory of Petri Nets , 301 - 310 .
   Google Scholar
• MERABET , A. A. , 1987 , Synchronization of operations in a flexible manufacturing cell the Petri Net approach . Journal of Manufacturing Systems , 5 , 161 - 169 .
   Web of Science ®Google Scholar
• MEYER , W. , 1987 , Knowledge-based realtime supervision in CIM the work-cell controller . ESPRIT'86 Results and Achievements , 33 - 52 .
   Google Scholar
• NAGI , R. , 1988 , Selection and layout of facilities for cellular manufacturing . M.S. Thesis , University of Maryland .
   Google Scholar
• NARAHARI , Y. , and VlSWANADHAM , N. , 1985 , A Petri Net approach to the modelling and analysis of flexible manufacturing systems . Annals of Operations Research , 3 , 381 - 391 .
   Google Scholar
• NGUYEN , T. A. , PERKINS , W. A. , LAFFEY , T. J. , and PECORA , D. , 1987 , Knowledge base validation . AI Magazine, Summer , 67 - 75 .
   Google Scholar
• PETERSON , J. L. , 1981 , Petri Net Theory and the Modeling of Systems ( Prentice Hall , Englewood Cliffs , NJ ).
   Google Scholar
• RAVICHANDRAN , R. , and CHAKRAVARTY , A. K. , 1987 , Decision support in flexible manufacturing systems using timed Petri Nets . Journal of Manufacturing Systems , 5 , 89 - 100 .
   Google Scholar
• REISIG , W. , 1985 , Petri Net ( Springer-Verlag , Berlin ).
   Google Scholar
• SEPEHRI , M. , 1987 , Integrated data base for computer-integrated manufacturing . IEEE Circuits and Devices Magazine , March, 48 - 54 .
   Google Scholar
• SUZUKI , I. , and MURATA , T. , 1983 , A method for stepwise refinement and abstraction of Petri Nets . Journal of Computer System Science , 27 , 51 - 76 .
   Web of Science ®Google Scholar
• VALETTE , R. , 1979 , Analysis of Petri Nets by stepwise refinements . Journal of Computer and System Sciences , 18 , 35 - 46 .
   Web of Science ®Google Scholar