CIMGEN—A COMPUTER AIDED SOFTWARE ENGINEERING TOOL FOR DEVELOPMENT OF FMS CONTROL SOFTWARE

REFERENCES

• Aho , A. V. , Sethi , R. , and Ulman , J. D. , Compilers-Principles, Techniques and Tools , Addison Wesley , Reading , Mass . ( 1985 ) .
   Google Scholar
• Biemans , F. , and Blonk , P. , “ On the Formal Specification and Verification of CIM Architectures Using LOTOS ,” Computers in Industry 7 , pp. 491 – 504 ( 1986 ).
   Web of Science ®Google Scholar
• Bruno , G. , Marchetto , “ Process Translatable Petri Nets for the Rapid Prototyping of Control Systems ,” IEEE Transactions on Software Engineering , Vol. SE-12 , No. 2 , pp. 346 – 357 ( 1987 ).
   Web of Science ®Google Scholar
• Dmitrov , D. , and Torodov , N. , “ Software Development Approach in FMS ,” Computers in Industry 10 , pp. 171 – 175 ( 1988 ).
   Web of Science ®Google Scholar
• Graham , J. H. , and Saridis , G. N. , “ Linguistic Decision Structures for Hierarchical Systems ,” IEEE Transactions on Systems, Man and Cybernetics , SMC-12 , pp. 325 – 333 ( 1982 ).
   Web of Science ®Google Scholar
• Jones , A. T. , and McLean , C. R. , “ A Proposed Hierarchical Control Model for Automated Manufacturing Systems ,” Journal of Manufacturing Systems , Vol. 5 , No. 1 , pp. 15 – 25 ( 1985 ).
   Web of Science ®Google Scholar
• Kasturia , E. , DiCesare , P. , and Desrochers , A. , “ Real Time Control of Multilevel Manufacturing Systems Using Colored Petri Nets ,” Proceedings of IEEE International Conference on Robotics and Automation , pp. 1114 – 1119 ( 1988 ).
   Google Scholar
• Latin , D. J. , “ Cell Control What We have, What We'll Need ,” Manufacturing Engineering , pp. 41 – 48 ( 1989 ).
   Web of Science ®Google Scholar
• Maimon , O. Z. , and Fisher , E. L. , “ An Object-based Representation Method for a Manufacturing Cell Controller ,” Artificial ntelligence in Engineering , Vol. 3 , No. 1 ( 1988 ).
   Google Scholar
• Merabet , A. A. , “ Synchronization of Operations in a Flexible Manufacturing Cell The Petri Net Approach ,” Journal of Manufacturing Systems , Vol. 5 , No. 3 , pp. 161 – 196 ( 1985 ).
   Web of Science ®Google Scholar
• Metzala , E. , “ Automatic Generation of Control Software in Computer Integrated Manufacturing ,” PhD. Thesis , Pennsylvania State University , University Park , PA ( 1989 ) .
   Google Scholar
• Narahary , Y. , and Viswanadham , N. , “ A Petri Net Approach to the Modeling and Analysis of Flexible Manufacturing Systems ,” Annals of Operations Research , Vol. 3 , pp. 449 – 472 ( 1985 ).
   Google Scholar
• Naylor , A. W. , and Volz , R. A. , “ Design of Integrated Manufacturing System Control Software ,” IEEE Trans on Systems, Man, and Cybernetics , Vol. SMC-17 , No. 6 , pp. 881 – 897 ( Nov/Dec 1987 ).
   Web of Science ®Google Scholar
• Odrey , N. G. , “ Integrated Workstation Control ,” CIM Review , pp. 29 – 35 ( Summer 1986 ).
   Google Scholar
• Tarn , K. Y. , “ Linguistic Modeling of Flexible Manufacturing Systems ”, Journal of Manufacturing Systems , Vol. 8 , No. 2 , pp. 127 – 137 ( 1989 ).
   Web of Science ®Google Scholar
• Upton , D. M. , and Barash , M. M. , “ A Grammatical Approach to Routing Flexibility in Large Manufacturing Systems ,” Journal of Manufacturing Systems , Vol. 7 , pp. 209 – 221 ( 1988 ).
   Web of Science ®Google Scholar
• Willams , D. J. , and Upton , D. M. , “ Syntactic Models of Manufacturing Processing and Control ,” International Journal of Computer Integrated Manufacturing , Vol. 2 , No. 4 , pp. 229 – 237 ( 1989 ).
   Web of Science ®Google Scholar
• Wu , H. L. , Venugopal , R. , and Barash , M. M. , “ Design of a Cellular Manufacturing System A Syntactic Pattern Recognition Approach ,” Journal of Manufacturing Systems , Vol. 5 , pp. 81 – 87 ( 1986 ).
   Web of Science ®Google Scholar
• Xou , M. , DiCesare , F. , and Desrochers , A. , “ A Top-down Approach to Systematic Synthesis of Petri Net Models for Manufacturing Systems ,” Proceedings of IEEE International Conference on Robotics and Automation , pp. 534 – 539 ( 1989 ).
   Google Scholar