{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T11:58:13Z","timestamp":1725710293348},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540646778"},{"type":"electronic","value":"9783540691082"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-69108-1_5","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T14:45:11Z","timestamp":1186411511000},"page":"64-83","source":"Crossref","is-referenced-by-count":35,"title":["A Class of Well Structured Petri Nets for Flexible Manufacturing Systems"],"prefix":"10.1007","author":[{"given":"J.","family":"Ezpeleta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Garc\u00eda-Vall\u00e9s","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. M.","family":"Colom","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,3,3]]},"reference":[{"issue":"6","key":"5_CR1","doi-asserted-by":"publisher","first-page":"724","DOI":"10.1109\/70.63273","volume":"6","author":"Z. Banaszak","year":"1990","unstructured":"Z. Banaszak, B. Krogh, Deadlock Avoidance in Flexible Manufacturing Systems with Concurrently Competing Process Flows, IEEE Transactions on Robotics and Automation, Vol. 6, No. 6, December 1990, pp. 724\u2013734.","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"E. Best, P.S. Thiagarajan, Some Classes of Live and Safe Petri Nets, Concurrency and Nets, K. Voss, H.J. Genrich, G. Rozenberg (Eds.), Advances in Petri NEts, Springer-Verlag, 1987, pp. 71\u201394","DOI":"10.1007\/978-3-642-72822-8_8"},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1109\/CIM.1992.638989","volume-title":"Proceedings of the 3th. International Conference on Computer Integrated Manufacturing","author":"D.Y. Chao","year":"1992","unstructured":"D.Y. Chao, M. Zhou, D.T. Wang, Extending Knitting Technique to Petri Net Synthesis of Automated Manufacturing Systems, Proceedings of the 3th. International Conference on Computer Integrated Manufacturing, Rensselaer Polytechnic Institute, Troy (New York), 1992, pp. 56\u201363."},{"issue":"2","key":"5_CR4","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1145\/356586.356588","volume":"3","author":"E.G. Coffman","year":"1971","unstructured":"E.G. Coffman, M.J. Elphick, A. Shoshani, System Deadlocks, ACM Computer Surveys, Vol. 3, No. 2, 1971, pp. 67\u201378.","journal-title":"ACM Computer Surveys"},{"key":"5_CR5","unstructured":"T.H. Cormen, C.E. Leiserson, R.L. Rivest, Introduction to Algorithms, The MIT Press\/MacGraw-Hill Book Company, 1992."},{"key":"5_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/3-540-53863-1_23","volume-title":"Advances in Petri Nets 1990","author":"J.M. Colom","year":"1991","unstructured":"J.M. Colom, M. Silva, Improving the linearly based characterization of P\/T nets, G. Rozenberg Editor, Advances in Petri Nets 1990, LNCS 483, Springer Verlag 1991, pp. 113\u2013145."},{"key":"5_CR7","unstructured":"A.A. Desrochers and R.Y. Al-Jaar, Application of Petri Nets in Manufacturing Systems: Modeling, Control and Performance Analysis, IEEE Press, 1995"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"F. Dicesare, G. Harhalakis, J.M. Proth, M. Silva, Practice of Petri Nets in Manufacturing, Chapman & Hall, 1993.","DOI":"10.1007\/978-94-011-6955-4"},{"key":"5_CR9","unstructured":"E.W. Dijsktra, Co-operating Sequential Processes, Programming Languages, F. Genuys (Ed.), Academic Press, 1965."},{"key":"5_CR10","series-title":"Lect Notes Comput Sci","volume-title":"CONCUR\u201991","author":"J. Esparza","year":"1991","unstructured":"J. Esparza, M. Silva, Compositional Synthesis of Live and Bounded Free Choice Nets, CONCUR\u201991, LNCS vol.527, Springer-Verlag 1991."},{"issue":"2","key":"5_CR11","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1109\/70.370500","volume":"11","author":"J. Ezpeleta","year":"1995","unstructured":"J. Ezpeleta, J.M. Colom, J. Mart\u00ednez, A Petri Net Based Deadlock Prevention Policy for Flexible Manufacturing Systems, IEEE Transactions on Robotics and Automation, Vol. 11, No. 2, April 1995, pp. 173\u2013184.","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"5_CR12","unstructured":"J. Ezpeleta, Analysis and Synthesis of Deadlock Free Models for Concurrent Systems, Ph. D. thesis, Dpt. de Ingenier\u00e1 El\u00e9ctrica e Inform\u00e1tica, University of Zaragoza (Spain), June 1993 (in Spanish)."},{"key":"5_CR13","volume-title":"Analysis of Production Schemata by Petri Nets","author":"M.H.T. Hack","year":"1972","unstructured":"M.H.T. Hack, Analysis of Production Schemata by Petri Nets, Cambridge, Maa.: MIT, Dept. of Electrical Engineering, M.S. Thesis, 1972"},{"issue":"2","key":"5_CR14","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1109\/70.282544","volume":"10","author":"F. Hsieh","year":"1994","unstructured":"F. Hsieh, S. Chang, Dispatching-Driven Deadlock Avoidance Controller Synthesis for Flexible Manufacturing Systems, IEEE Transactions on Robotics and Automation, Vol. 10, No. 2, April 1994, pp. 196\u2013209.","journal-title":"IEEE Transactions on Robotics and Automation"},{"issue":"3","key":"5_CR15","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1109\/70.388774","volume":"11","author":"M.D. Jeng","year":"1995","unstructured":"M.D. Jeng, F. DiCesare, Synthesis Using Resource Control Nets for Modeling Shared-Resource Systems, IEEE Transactions on Robotics and Automation, Vol. 11, N. 3, June 1995, pp. 317\u2013327","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"5_CR16","unstructured":"J.M. Proth and X. Xie, Petri Nets. A Tool for Design and Management of Manufaturing Systems, John Wiley & Sons, 1996"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"M. Singhal, Deadlock Detection in Distributed Systems, COMPUTER, IEEE, November 1989, pp. 37\u201348.","DOI":"10.1109\/2.43525"},{"key":"5_CR18","series-title":"Lect Notes Comput Sci","first-page":"374","volume-title":"Advances in Petri Nets","author":"M. Silva","year":"1989","unstructured":"M. Silva, R. Valette, Petri Nets and Flexible Manufacturing, Advances in Petri Nets, LNCS 424, Springer-Verlag, 1989, pp. 374\u2013417."},{"key":"5_CR19","unstructured":"A.S. Tanenbaum, Operating Systems. Design and Implementation, Prentice-Hall International Editions, 1987."},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"N. Viswanadham, Y. Narahari, Performance Modeling of Automated Manufacturing Systems, Prentice-Hall, 1992.","DOI":"10.1016\/0895-7177(92)90043-K"},{"issue":"6","key":"5_CR21","doi-asserted-by":"publisher","first-page":"713","DOI":"10.1109\/70.63257","volume":"6","author":"N. Viswanadham","year":"1990","unstructured":"N. Viswanadham, Y. Narahari, T. Johnson, Deadlock Prevention and Deadlock Avoidance in Flexible Manufacturing Systems Using Petri Net Models, IEEE Transactions on Robotics and Automation, Vol. 6, No. 6, December, 1990, pp. 713\u2013723.","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"5_CR22","series-title":"Lect Notes Comput Sci","first-page":"82","volume-title":"Graph Theoretic Concepts in Computer Science","author":"W. Vogler","year":"1986","unstructured":"W. Vogler, Behavior Preserving Refinements of Petri Nets, Graph Theoretic Concepts in Computer Science, LNCS, N. 246, Springer Verlag, 1986, pp. 82\u201393."},{"issue":"6","key":"5_CR23","doi-asserted-by":"publisher","first-page":"853","DOI":"10.1109\/70.105378","volume":"7","author":"R.A. Wysk","year":"1991","unstructured":"R.A. Wysk, N.S. Yang, S. Joshi, Detection of Deadlocks in Flexible Manufacturing Cells, IEEE Transactions on Robotics and Automation, Vol. 7, No. 6, December 1991, pp. 853\u2013859.","journal-title":"IEEE Transactions on Robotics and Automation"},{"issue":"2","key":"5_CR24","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1109\/9.481550","volume":"41","author":"K.Y. Xing","year":"1996","unstructured":"K.Y. Xing, B.S. Hu, H.X. Chen, Deadlock Avoidance Policy for Petri-net Modeling of Flexible Manufacturing Systems with Shared Resources, IEEE Transactions on Automatic Control, Vol. 41, No. 2, February 1996, pp. 289\u2013295.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"M. Zhou, F. Dicesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems, Kluwer Academic Publishers, 1993.","DOI":"10.1007\/978-1-4615-3126-5"},{"issue":"2","key":"5_CR26","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1109\/21.229464","volume":"23","author":"M. Zhou","year":"1993","unstructured":"M. Zhou, K. McDermott, P. Patel, Petri Net Synthesis and Analysis of a Flexible Manufacturing System Cell, IEEE Transactions on Systems, Man and Cybernetics, Vol. 23, No. 2, March 1993, pp. 523\u2013531.","journal-title":"IEEE Transactions on Systems, Man and Cybernetics"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1998"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-69108-1_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,21]],"date-time":"2021-08-21T03:59:49Z","timestamp":1629518389000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-69108-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540646778","9783540691082"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-69108-1_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}