{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T06:43:10Z","timestamp":1743489790340},"reference-count":40,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2001,5,1]],"date-time":"2001-05-01T00:00:00Z","timestamp":988675200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computers in Industry"],"published-print":{"date-parts":[[2001,5]]},"DOI":"10.1016\/s0166-3615(01)00082-3","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T22:10:50Z","timestamp":1027635050000},"page":"79-98","source":"Crossref","is-referenced-by-count":17,"title":["High-fidelity rapid prototyping of 300 mm fabs through discrete event system modeling"],"prefix":"10.1016","volume":"45","author":[{"given":"Jonghun","family":"Park","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Spyros A.","family":"Reveliotis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Douglas A.","family":"Bodner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chen","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jennfong","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leon F.","family":"McGinnis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0166-3615(01)00082-3_BIB1","unstructured":"J. Park, S. Reveliotis, D. Bodner, C. Zhou, J.-F. Wu, L.F. McGinnis, High-fidelity rapid prototyping of the real-time fab operations through discrete event system modeling, in: Proceedings of the International Conference on Modeling an Analysis of Semiconductor Manufacturing, Tempe, AZ, 2000, pp. 163\u2013171."},{"key":"10.1016\/S0166-3615(01)00082-3_BIB2","unstructured":"NEMI (National Electronics Manufacturing Initiative), National electronics manufacturing technology roadmaps, Technical Report, 1998."},{"issue":"5","key":"10.1016\/S0166-3615(01)00082-3_BIB3","first-page":"149","article-title":"Integrated processing equipment","volume":"33","author":"Bader","year":"1990","journal-title":"Solid State Technology"},{"issue":"1","key":"10.1016\/S0166-3615(01)00082-3_BIB4","first-page":"113","article-title":"The driving forces in cluster tool development","volume":"18","author":"Singer","year":"1995","journal-title":"Semiconductor International"},{"key":"10.1016\/S0166-3615(01)00082-3_BIB5","unstructured":"SEMI (Semiconductor Equipment and Materials International), Generic model for communications and control of semi equipment (gem), Technical Report SEMI (1999) E30\u2013E95."},{"issue":"6","key":"10.1016\/S0166-3615(01)00082-3_BIB6","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1016\/S0736-5845(99)00047-2","article-title":"Message-oriented decomposition for supervisory control in manufacturing system","volume":"15","author":"Du","year":"1999","journal-title":"Robotics Computer Integrated Manufacturing"},{"issue":"6","key":"10.1016\/S0166-3615(01)00082-3_BIB7","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1109\/37.334413","article-title":"Scheduling semiconductor manufacturing plants","volume":"Magazine14","author":"Kumar","year":"1994","journal-title":"IEEE Control Systems"},{"key":"10.1016\/S0166-3615(01)00082-3_BIB8","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1142\/S0960313195000190","article-title":"An analysis of dispatching rules in a semiconductor wafer fabrication environment","volume":"5","author":"McCutchen","year":"1995","journal-title":"Journal of Electronics Manufacturing"},{"key":"10.1016\/S0166-3615(01)00082-3_BIB9","unstructured":"N. Patel, Using simulation to evaluate complex control logic for lot delivery, in: Proceedings of Autosimulations Symposium (Autosimulations), Salt Lake City Utach., 1999."},{"key":"10.1016\/S0166-3615(01)00082-3_BIB10","unstructured":"J. Zoghby, Improving planning decisions through autosched ap, in: Proceedings of Autosimulations Symposium (Autosimulations), Salt Lake City, Utach., 1999."},{"key":"10.1016\/S0166-3615(01)00082-3_BIB11","doi-asserted-by":"crossref","unstructured":"P.R. Kumar, Scheduling manufacturing systems of re-entrant lines, in: D.D. Yao (Ed.), Stochastic Modeling and Analysis of Manufacturing Systems, Springer, Berlin, 1994, pp. 325\u2013360.","DOI":"10.1007\/978-1-4612-2670-3_8"},{"key":"10.1016\/S0166-3615(01)00082-3_BIB12","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1109\/70.282534","article-title":"Scheduling semiconductor lines using a fluid network model","volume":"10","author":"Connors","year":"1994","journal-title":"IEEE Transactions on Robotics Automation"},{"key":"10.1016\/S0166-3615(01)00082-3_BIB13","doi-asserted-by":"crossref","first-page":"1109","DOI":"10.1109\/9.388695","article-title":"Stability and performance of a simple distributed tracking policy for production control of manufacturing systems","volume":"40","author":"Sharifnia","year":"1995","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/S0166-3615(01)00082-3_BIB14","unstructured":"PRI-A, Minutes of 1st Meeting of the PRI-A Colloquium on Future Semiconductor Manufacturing, 2000."},{"key":"10.1016\/S0166-3615(01)00082-3_BIB15","doi-asserted-by":"crossref","unstructured":"D.A. Bodner, S.A. Reveliotis, Flexible semiconductor manufacturing, in: J.G. Webseter (Ed.), Encyclopedia of Electrical and Electronics Engineering, Vol. 7, Wiley, New York, pp. 596\u2013607.","DOI":"10.1002\/047134608X.W7015"},{"key":"10.1016\/S0166-3615(01)00082-3_BIB16","doi-asserted-by":"crossref","unstructured":"D.A. Bodner, J. Park, S. Reveliotis, L.F. McGinnis, Integration of structural and performance-oriented control in flexibly automated manufacturing, in: Proceedings of the IEEE\/ASME International Conference on Advanced Intelligent Mechatronics, Atlanta, GA., 1999.","DOI":"10.1109\/AIM.1999.803219"},{"key":"10.1016\/S0166-3615(01)00082-3_BIB17","doi-asserted-by":"crossref","unstructured":"K. Jensen, Colored Petri Nets, Vol. 1, 2nd Edition, Springer, New York, 1997.","DOI":"10.1007\/978-3-642-60794-3"},{"key":"10.1016\/S0166-3615(01)00082-3_BIB18","doi-asserted-by":"crossref","unstructured":"C.G. Cassandras, S. Lafortune, Introduction to Discrete Event Systems, Kluwer Academic Publishers, Dordrecht, 1999.","DOI":"10.1007\/978-1-4757-4070-7"},{"key":"10.1016\/S0166-3615(01)00082-3_BIB19","unstructured":"K. Kempf, Intel five-machine six-step mini-fab description, http:\/\/www.eas.asu.edu\/\u223caar\/research\/intel\/papers\/fabspec.html, Intel (1994)."},{"issue":"6","key":"10.1016\/S0166-3615(01)00082-3_BIB20","doi-asserted-by":"crossref","first-page":"845","DOI":"10.1109\/70.544768","article-title":"Dead lock avoidance policies for automated manufacturing cells","volume":"12","author":"Reveliotis","year":"1996","journal-title":"IEEE Transactions on Robotics Automation"},{"key":"10.1016\/S0166-3615(01)00082-3_BIB21","doi-asserted-by":"crossref","unstructured":"J. Park, S.A. Reveliotis, Liveness-enforcing supervisors for resource allocation systems with reworks, forbidden states, and uncontrollable events, Technical Report, IEEE Transactions on Robotics Automation Seoul, Korea, (2001), submitted for publication.","DOI":"10.1109\/TRA.2002.999651"},{"key":"10.1016\/S0166-3615(01)00082-3_BIB22","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1080\/07408179408966627","article-title":"A review of production planning and scheduling models in the semiconductor industry. Part II. Shop-floor control","volume":"26","author":"Uzsoy","year":"1994","journal-title":"IIE Transactions"},{"key":"10.1016\/S0166-3615(01)00082-3_BIB23","unstructured":"C. Cunningham, R. Wright, K. Benhayoune, E. Campbell, V. Swaminathan, R. White, 300 mm factory layout and automated material handling system analysis, in: Proceedings of the Autosimulations Symposium (Autosimulations), Salt Lake City Utach., 1999."},{"key":"10.1016\/S0166-3615(01)00082-3_BIB24","doi-asserted-by":"crossref","unstructured":"S. Narayanan, D.A. Bodner, U. Sreekanth, T. Govindaraj, L.F. McGinnis, C.M. Mitchell, Modeling control decisions in manufacturing systems simulation using objects, in: Proceedings of the 1994 IEEE International Conference on Systems, Man, Cybernetics, Vol. 2, 1994, pp. 1392\u20131397.","DOI":"10.1109\/ICSMC.1994.400040"},{"key":"10.1016\/S0166-3615(01)00082-3_BIB25","unstructured":"D.A. Bodner, Real-Time Control Approaches to Deadlock Management in Automate Manufacturing Systems, Ph.D. Thesis, Georgia Institute of Technology, Atlanta, GA, 1996."},{"key":"10.1016\/S0166-3615(01)00082-3_BIB26","doi-asserted-by":"crossref","unstructured":"D.C. Kozen, Automata and Computability, Springer, Berlin, 1997.","DOI":"10.1007\/978-1-4612-1844-9"},{"key":"10.1016\/S0166-3615(01)00082-3_BIB27","unstructured":"R. David, H. Alla, Petri Nets and Grafcet, Prentice-Hall, Englewood Cliffs, NJ, 1992."},{"issue":"10","key":"10.1016\/S0166-3615(01)00082-3_BIB28","doi-asserted-by":"crossref","first-page":"1344","DOI":"10.1109\/9.633824","article-title":"Polynomial complexity deadlock avoidance policies for sequential resource allocation systems","volume":"42","author":"Reveliotis","year":"1997","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"1","key":"10.1016\/S0166-3615(01)00082-3_BIB29","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1023\/A:1007969601583","article-title":"The application and evaluation of banker\u2019s algorithm for deadlock-free buffer space allocation in flexible manufacturing systems","volume":"10","author":"Lawley","year":"1998","journal-title":"International Journal of Flexible Manufacturing Systems"},{"issue":"5","key":"10.1016\/S0166-3615(01)00082-3_BIB30","doi-asserted-by":"crossref","first-page":"796","DOI":"10.1109\/70.720355","article-title":"A correct and scaleable deadlock avoidance policy for flexible manufacturing systems","volume":"14","author":"Lawley","year":"1998","journal-title":"IEEE Transactions on Robotics Automation"},{"issue":"7","key":"10.1016\/S0166-3615(01)00082-3_BIB31","doi-asserted-by":"crossref","first-page":"647","DOI":"10.1080\/07408170008967423","article-title":"Conflict resolution in agv systems","volume":"32","author":"Reveliotis","year":"2000","journal-title":"IIE Transactions"},{"key":"10.1016\/S0166-3615(01)00082-3_BIB32","unstructured":"J. Park, S.A. Reveliotis, D.A. Bodner, L.F. McGinnis, A distributed, event-driven control architecture for flexibly automated manufacturing systems, International Journal of Computer Integrate Manufacturing (2000), submitted for publication."},{"issue":"3","key":"10.1016\/S0166-3615(01)00082-3_BIB33","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1109\/9.847750","article-title":"The destabilizing effect of blocking due to finite buffering capacity in multi-class queuing networks","volume":"45","author":"Reveliotis","year":"2000","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/S0166-3615(01)00082-3_BIB34","unstructured":"T.E. Morton, D.W. Pentico, Heuristic Scheduling Systems: With Applications to Production Systems and Project Management, Wiley, New York, 1993."},{"key":"10.1016\/S0166-3615(01)00082-3_BIB35","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1023\/A:1018936219150","article-title":"Design and operational issues in agv-served manufacturing systems","volume":"76","author":"Ganesharajah","year":"1998","journal-title":"Annals of Operations Research"},{"issue":"4","key":"10.1016\/S0166-3615(01)00082-3_BIB36","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/S0278-6125(98)80077-0","article-title":"A survey of factory control algorithms that can be implemented in a multi-agent heterarchy: dispatching, scheduling, and pull","volume":"17","author":"Baker","year":"1998","journal-title":"Journal of Manufacturing Systems"},{"key":"10.1016\/S0166-3615(01)00082-3_BIB37","unstructured":"R. Orfali, D. Harkey, Client\/Server Programming with Java and CORBA, 2nd Edition, Wiley, New York, 1998."},{"key":"10.1016\/S0166-3615(01)00082-3_BIB38","unstructured":"I. Jacobson, Object-Oriented Software Engineering, Addison-Wesley, Reading, 1992."},{"key":"10.1016\/S0166-3615(01)00082-3_BIB39","doi-asserted-by":"crossref","unstructured":"F. Bause, P.S. Kritzinger, Stochastic Petri Nets: An Introduction to the Theory, Vieweg, Braunschweig, 1996.","DOI":"10.1007\/978-3-663-11521-2"},{"key":"10.1016\/S0166-3615(01)00082-3_BIB40","doi-asserted-by":"crossref","first-page":"1925","DOI":"10.1080\/00207549208948131","article-title":"Celeritas: a colored Petri net approach to simulation and control of flexible manufacturing systems","volume":"30","author":"Cossins","year":"1992","journal-title":"International Journal of Production Research"}],"container-title":["Computers in Industry"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0166361501000823?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0166361501000823?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,4,14]],"date-time":"2023-04-14T05:32:08Z","timestamp":1681450328000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0166361501000823"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,5]]},"references-count":40,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2001,5]]}},"alternative-id":["S0166361501000823"],"URL":"https:\/\/doi.org\/10.1016\/s0166-3615(01)00082-3","relation":{},"ISSN":["0166-3615"],"issn-type":[{"value":"0166-3615","type":"print"}],"subject":[],"published":{"date-parts":[[2001,5]]}}}