{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,8]],"date-time":"2024-12-08T04:40:08Z","timestamp":1733632808155,"version":"3.30.1"},"reference-count":47,"publisher":"Informa UK Limited","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Computer Integrated Manufacturing"],"published-print":{"date-parts":[[2002,1]]},"DOI":"10.1080\/09511920110059070","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T16:05:18Z","timestamp":1027699518000},"page":"242-264","source":"Crossref","is-referenced-by-count":6,"title":["A knowledge Petri net model for flexible manufacturing systems and its application for design and verification of FMS controllers"],"prefix":"10.1080","volume":"15","author":[{"given":"X. F.","family":"Zha","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L. L.","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W. J.","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","doi-asserted-by":"crossref","unstructured":"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\u201314. New York, NY: Springer-Verlag.","DOI":"10.1007\/3-540-15204-0_1"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1109\/70.63259"},{"key":"CIT0003","doi-asserted-by":"crossref","unstructured":"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\u201331. New York: Springer-Verlag.","DOI":"10.1007\/3-540-15204-0_2"},{"volume-title":"Performance Analysis of Manufacturing Systems","year":"1996","author":"ALTIOK T.","key":"CIT0004"},{"key":"CIT0005","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-2654-7","volume-title":"Operations Research Models: in Flexible Manufacturing Systems","author":"ARCHETTI F.","year":"1989"},{"key":"CIT0006","doi-asserted-by":"crossref","unstructured":"BECK, C. L. Models for simulation and discrete control of manufacturing systems. IEEE Conf. on Robotics and Automation. March, San Francisco. pp.305\u2013310.","DOI":"10.1109\/ROBOT.1986.1087711"},{"key":"CIT0007","doi-asserted-by":"crossref","unstructured":"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\u2013525.","DOI":"10.1109\/ROBOT.1990.126032"},{"key":"CIT0008","doi-asserted-by":"crossref","unstructured":"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\u2013244.","DOI":"10.1109\/ISATP.1995.518777"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1007\/BF01328739"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1983.235261"},{"key":"CIT0011","doi-asserted-by":"crossref","unstructured":"CROCKETT, D., DESROCHERS, A., DICESARE, F. and WARD, T. 1987.Implementation of a Petri net controller for a machining workstation, 1861\u20131867. IEEE. Int. Con. on Robotics and Automation.","DOI":"10.1109\/ROBOT.1987.1087773"},{"key":"CIT0012","unstructured":"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\u2013436. Elsevier Science."},{"volume-title":"The Java Expert System Shell","year":"1999","author":"FRIEDMAN-HILL E. J.","key":"CIT0013"},{"key":"CIT0014","doi-asserted-by":"crossref","unstructured":"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\u20131173.","DOI":"10.1109\/ROBOT.1987.1087863"},{"key":"CIT0015","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0255(85)90039-8"},{"key":"CIT0016","first-page":"9","volume":"23","author":"JENG M. D.","year":"1993","journal-title":"IEEE. Trans, on Man and Cybernetics"},{"key":"CIT0017","doi-asserted-by":"publisher","DOI":"10.1007\/BF01325038"},{"key":"CIT0018","volume-title":"Informatik Fachberichte","volume":"66","author":"JENSEN K.","year":"1983"},{"key":"CIT0019","doi-asserted-by":"crossref","unstructured":"KAMATH, M. and VISWANADHAM, N. 1986.Applications of Petri net based models in the modelling and analysis of flexible manufacturing systems, 312\u2013317. San Francisco: IEEE. Con. on Robotics and Automation.","DOI":"10.1109\/ROBOT.1986.1087700"},{"key":"CIT0020","doi-asserted-by":"crossref","unstructured":"KASTURA, E. Real time of multilevel manufacturing systems using Petri nets. IEEE. Conf. on Robotics and Automation. pp.1114\u20131119.","DOI":"10.1109\/ROBOT.1988.12209"},{"key":"CIT0021","doi-asserted-by":"crossref","unstructured":"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. May23-25, New York. pp.92\u201399.","DOI":"10.1109\/CIM.1988.5396"},{"key":"CIT0022","doi-asserted-by":"publisher","DOI":"10.1109\/70.282537"},{"key":"CIT0023","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1109\/TSMC.1985.6313357","volume":"15","author":"LEE K. H.","year":"1985","journal-title":"Transactions on Systems, Man and Cybernetics"},{"key":"CIT0024","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1987.233170"},{"key":"CIT0025","doi-asserted-by":"crossref","unstructured":"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\u20131185.","DOI":"10.1109\/ROBOT.1987.1087860"},{"key":"CIT0026","doi-asserted-by":"publisher","DOI":"10.1080\/00207549608905075"},{"key":"CIT0027","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.1986.351700"},{"key":"CIT0028","doi-asserted-by":"publisher","DOI":"10.1109\/32.4671"},{"key":"CIT0029","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"CIT0030","unstructured":"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\u2013358. Elsevier Science."},{"key":"CIT0031","unstructured":"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\u2013304. Elsevier Science."},{"volume-title":"Petri Net Theory and the modeling of Systems","year":"1981","author":"PETERSON J. L","key":"CIT0032"},{"key":"CIT0033","doi-asserted-by":"publisher","DOI":"10.1016\/0278-6125(86)90003-8"},{"key":"CIT0034","unstructured":"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\u2013314. Elsevier Science."},{"volume-title":"Advances in Manufacturing Systems: Design, Modeling and Analysis","year":"1994","author":"SODHI R. S.","key":"CIT0035"},{"key":"CIT0036","unstructured":"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\u2013932."},{"key":"CIT0038","unstructured":"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\u2013408."},{"key":"CIT0039","first-page":"253","author":"WADHWA S.","year":"1990","journal-title":"International Journal of Flexible Manufacturing Systems"},{"key":"CIT0040","doi-asserted-by":"publisher","DOI":"10.1109\/32.44362"},{"key":"CIT0041","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008862631701"},{"key":"CIT0042","doi-asserted-by":"publisher","DOI":"10.1007\/BF01179417"},{"key":"CIT0043","doi-asserted-by":"crossref","unstructured":"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\u20131428.","DOI":"10.1109\/ROBOT.1998.677304"},{"key":"CIT0044","doi-asserted-by":"publisher","DOI":"10.1080\/002075400189059"},{"key":"CIT0045","first-page":"534","volume-title":"Proc. IEEE on Robotics and Auto.","author":"ZHOU M. C.","year":"1989"},{"key":"CIT0046","doi-asserted-by":"publisher","DOI":"10.1109\/70.143353"},{"key":"CIT0047","doi-asserted-by":"publisher","DOI":"10.1109\/21.229464"},{"key":"CIT0048","unstructured":"ZURAWSKI, R. and DILLON, S. T. 1993.Modelling and verification of FMS using Petri nets, Modern Took for Manufacturing Systems, 237\u2013261. Elsevier."}],"container-title":["International Journal of Computer Integrated Manufacturing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/09511920110059070","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,8]],"date-time":"2024-12-08T04:10:16Z","timestamp":1733631016000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/09511920110059070"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,1]]},"references-count":47,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2002,1]]}},"alternative-id":["10.1080\/09511920110059070"],"URL":"https:\/\/doi.org\/10.1080\/09511920110059070","relation":{},"ISSN":["0951-192X","1362-3052"],"issn-type":[{"type":"print","value":"0951-192X"},{"type":"electronic","value":"1362-3052"}],"subject":[],"published":{"date-parts":[[2002,1]]}}}