Advanced search
Publication Cover
International Journal of Computer Integrated Manufacturing Volume 15, 2002 - Issue 3
Submit an article Journal homepage
61
Views
6
CrossRef citations to date
0
Altmetric
Original Articles

A knowledge Petri net model for flexible manufacturing systems and its application for design and verification of FMS controllers

X. F. Zha
,
L. L. Li
&
W. J. Zhang
Pages 242-264 | Published online: 08 Nov 2010

  • AIANCHE , P. 1984 . PSI: a Petri Net Based Simulator for Flexible Manufacturing Systems, Advances in Petri Net 1984, Lecture Notes in Computer Science 188 , Edited by: Rozenberg , G. 1 – 14 . New York, NY : Springer-Verlag .
  • AL-HAAR , R. Y. and DESROCHERS , A. A. 1990 . Performance evaluation of automated manufacturing systems using generlized stochastic Petri nets. IEEE . Trans, on robotics and automation , 6 (6) : 621 – 639 .
  • ALLA , H. , LADET , P. , MARTINEZ , J. and SUAREZ , M. SILVA . 1984 . Modelling and Validation of Complex Systems by Colored Petri Nets Application to a Flexible Manufacturing System, Advances in Petri Net 1984, Lecture Notes in Computer Science 188 , Edited by: Rozenberg , G. 15 – 31 . New York : Springer-Verlag .
  • ALTIOK , T. 1996 . Performance Analysis of Manufacturing Systems Springer
  • ARCHETTI , F. , LUCERTINI , M. and SERAFINI , P. 1989 . Operations Research Models: in Flexible Manufacturing Systems , Edited by: Archetti , F. Springer-Verlag .
  • BECK , C. L. Models for simulation and discrete control of manufacturing systems . IEEE Conf. on Robotics and Automation . March , San Francisco. pp. 305 – 310 .
  • CAMURRI , A. and FRANCHI , P. An approach to the design and implementation of the hierarchical control system of FMS, combining structured knowledge representation formalisms and high-level Petri nets . Proceeding of 1990 IEEE International Conference on Robotics and Automation . Cincinnati, OH.. pp. 520 – 525 .
  • CASELLI , S. and ZANICHELLI , F. On assembly sequence planning using Petri nets' . Proceedings of the IEEE. International Symposium on Assembly and Task Planning . pp. 239 – 244 .
  • CHAAR , J. K. 1993 . Developing manufacturing control software: a survey and critique . The Int. J of Flexible Manufacturing Systems , 5 : 53 – 88 .
  • COOLAHAN , J. J. E. and ROUSSOPOULOS , N. 1983 . Timing requirements for time-driven systems using augmented Petri nets. IEEE Trans . On Software Engineering , Se-9 (5) : 603 – 616 .
  • CROCKETT , D. , DESROCHERS , A. , DICESARE , F. and WARD , T. 1987 . Implementation of a Petri net controller for a machining workstation , 1861 – 1867 . IEEE. Int. Con. on Robotics and Automation .
  • EZPELETA , J. and MARTINEZ , J. 1992 . Petri Net as a Specification Language for Manufacturing Systems, Robotics and Flexible Manufacturing Systems , Edited by: Gentina , J.C. and Tzafestas , S.G. 427 – 436 . Elsevier Science .
  • FRIEDMAN-HILL , E. J. and JESS . 1999 . The Java Expert System Shell , Sandia National Laboratories . http://herzberg.ca.sandia.gov/jess
  • GENTINA , J. C. Colored adaptive structured Petri net: A tool for automatic synthesis of hierarchical control of flexible manufacturing system . IEEE Conf. on Robotics and Automation . pp. 1166 – 1173 .
  • GIORDANA , A. and SAITTA , L. 1985 . Modelling production rules by means of predicate transition networks . Information Sciences , 35 : 1 – 41 .
  • JENG , M. D. 1993 . A review of synthesis technology for Petri nets with applications to automation manufacturing systems . IEEE. Trans, on Man and Cybernetics , 23 (I) : 9 301 – 312 .
  • JENG , M. D. 1995 . Modular synthesis of Petri nets for modelling flexible manufacturing system . The Int. J. of Flexible Manufacturing Systems , 7 : 287 – 310 .
  • JENSEN , K. 1983 . “ High level Petri nets, application and theory of Petri nets ” . In Informatik Fachberichte Vol. 66 , Springer
  • KAMATH , M. and VISWANADHAM , N. 1986 . Applications of Petri net based models in the modelling and analysis of flexible manufacturing systems , 312 – 317 . San Francisco : IEEE. Con. on Robotics and Automation .
  • KASTURA , E. Real time of multilevel manufacturing systems using Petri nets . IEEE. Conf. on Robotics and Automation . pp. 1114 – 1119 .
  • KROGH , B. H , WILLSON , R. and PATHAK , D. Automated generation and evaluation of control programs for discrete manufacturing processes . The Proc. of 1988, Int. Conf. On Computer Integrated Manufacturing . May 23-25 , New York. pp. 92 – 99 .
  • LEE , D. Y. 1994 . Scheduling flexible manufacturing system using Petri nets and heuristic search . IEEE Trans on Robotics and Automation , 10 (2) : 123 – 132 .
  • LEE , K. H. and FAVREL , J. 1985 . Hierarchical reduction method for analysis and decomposition of Petri nets. IEEE . Transactions on Systems, Man and Cybernetics , 15 (2) : 272 – 280 .
  • LEVESON , N. G and STOLZY , J. 1987 . Safety analysis using Petri nets . IEEE Trans, on Software Engineering , SE-13 (S) : 386 – 397 .
  • MARTINEZ , J. , MURO , P. and SILVA , M. Modelling, validation and software implementation of production system high level Petri nets . IEEE Con. on Robotics and Automation . Raleigh. pp. 1180 – 1185 .
  • MOORE , K.E. and GUPTA , S. M. 1996 . Petri net models of flexible and automated manufacturing systems: a survey . International Journal of Production Research , 34 (11) : 161 – 170 .
  • MURATA , T. , KOMODA , N. , MATSUMOTO , K. and HURUNA , K. 1986 . A Petri net-based controller for flexible and maintainable sequence control and its application in factory automation . Trans. Industrial Electronics , IE-33 (-1) : 1 – 8 .
  • MURATA , T. and ZHANG , D. 1988 . A predicate-transition net model for parallel interpretation of logic programs . IEEE Trans, on Software Engineering , 14 (4) : 481 – 497 .
  • MURATA , T. 1989 . Petri nets: properties, analysis and applications . Proceedings of the IEEE , 77 (4) : 541 – 580 .
  • MURO-MEDRANO , P. R. , EZPELETA , J. and VILLARROD , J. L. 1992 . A rulePetri net integrated approach for modelling and analysis of manufacturing systems. Robotics and Flexible Manufacturing Systems , Edited by: Gentina , J.C. and Tzafestas , S.G. 349 – 358 . Elsevier Science .
  • NAGAO , Y. , OHTA , H. , URABE , H. and MATSUBRA , S. 1992 . Petri net based programming system for FMS, robotics and flexible manufacturing systems , Edited by: Gentina , J.C. and Tzafestas , S.G. 295 – 304 . Elsevier Science .
  • PETERSON , J. L . 1981 . Petri Net Theory and the modeling of Systems , Prentice-Hall .
  • RAVICHANDRAN , R. and CHARRAVARTV , A. K. 1986 . Decision support in flexible manufacturing systems using timed Petri net . Journal of Manufacturing Systems , 5 (2) : 89 – 102 .
  • Roux , G. B. , DESCOTES , G. and LADET , P. 1992 . Operation checking in flexible manufacturing systems, robotics and flexible manufacturing systems , Edited by: Gentina , J.C. and Tzafestas , S.G. 305 – 314 . Elsevier Science .
  • SODHI , R. S. , ZHOU , M. C. and DAS , S. 1994 . Advances in Manufacturing Systems: Design, Modeling and Analysis , Elsevier .
  • VALETTE , R. , COURVOISIER , M. , DEMMOU , H. , BIGOU , J. M. and DESCLAUX , C. Putting Petri nets to work for controlling flexible manufacturing systems . Proc. IEEE. Int. Sympo. On Circuits and Systems . Kyoto, Japan. pp. 929 – 932 .
  • WAINWIRGHT , C. E. R. and THETHI , A. J. S. The development of an improved model of manufacturing system simulation . 13th International Conference, ComputerAided Production Engineering . June , Wasaw. pp. 401 – 408 .
  • WADHWA , S. and BROWNE , J. 1990 . Modelling FMS with decision Petri nets . International Journal of Flexible Manufacturing Systems , : 253 – 280 .
  • 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 (1) : 39 – 50 .
  • ZHA , X. F. , LIM , S. Y. E. and FOK , S. C. 1998a . Integrated knowledge-based Petri net intelligent flexible assembly planning . Journal of Intelligent Manufacturing , 9 (3) : 235 – 250 .
  • ZHA , X. F. , LIM , Y. E. and FOK , S. C. 1998b . Integrated knowledge-based assembly sequence planning . International Journal of Advanced Manufacturing Technology , 14 (3) : 50 – 64 .
  • ZHA , X. F. , LIM , S. Y. E. and FOK , S. C. Integration of knowledge-based systems and neural networks: neuroexpert Petri net models and applications . Proceedings of the 1998 IEEE International Conference on Robotics and Automation . Belgium. pp. 1423 – 1428 .
  • ZHANO , W.J. , Br , Z. M. , Lr , Q. and ZHA , X. F. 2000 . A generic Petri net model for flexible manufacturing systems and its use for FMS control software testing . International Journal of Production Research , 88 (5) : 1109 – 1131 .
  • ZHOU , M. C. 1989 . “ A top-down approach to systematic synthesis of Petri nets models for manufacturing systems ” . In Proc. IEEE on Robotics and Auto. 534 – 539 . Scottsdale
  • ZHOU , M. C. , DTCESARE , F. and DESROCHERS , A. A. 1992 . A hybrid methodology for synthesis of Petri nets for manufacturing systems . IEEE Transactions on Robotics and Automation , 8 (3) : 350 – 361 .
  • ZHOU , M. C. , McDERMOTT , K. and PATEL , P. A. 1993 . Petri nets synthesis and analysis of a flexible manufacturing system cell . IEEE Transactions on System, Man, and Cybernetics , 23 (2) : 523 – 531 .
  • ZURAWSKI , R. and DILLON , S. T. 1993 . Modelling and verification of FMS using Petri nets, Modern Took for Manufacturing Systems , 237 – 261 . Elsevier .

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Order Reprints Request Corporate Permissions

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

Request Academic Permissions

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.

Related research

People also read lists articles that other readers of this article have read.

Recommended articles lists articles that we recommend and is powered by our AI driven recommendation engine.

Cited by lists all citing articles based on Crossref citations.
Articles with the Crossref icon will open in a new tab.