{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,31]],"date-time":"2026-01-31T04:48:58Z","timestamp":1769834938272,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":93,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642120510","type":"print"},{"value":"9783642120527","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-12052-7_6","type":"book-chapter","created":{"date-parts":[[2010,5,17]],"date-time":"2010-05-17T10:30:04Z","timestamp":1274092204000},"page":"95-124","source":"Crossref","is-referenced-by-count":4,"title":["Manufacturing System Modeling Using Petri Nets"],"prefix":"10.1007","author":[{"given":"Cengiz","family":"Kahraman","sequence":"first","affiliation":[]},{"given":"Fatih","family":"T\u00fcys\u00fcz","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"12","key":"6_CR1","doi-asserted-by":"publisher","first-page":"2733","DOI":"10.1080\/00207540210136496","volume":"40","author":"I.B. Abdallah","year":"2002","unstructured":"Abdallah, I.B., Elmaraghy, H.A., Elmekkawy, T.: Deadlock-free scheduling in fexible manufacturing systems using Petri nets. International Journal of Production Research\u00a040(12), 2733\u20132756 (2002)","journal-title":"International Journal of Production Research"},{"issue":"6","key":"6_CR2","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1109\/70.63259","volume":"6","author":"R.Y. Al-Jaar","year":"1990","unstructured":"Al-Jaar, R.Y., Desrochers, A.A.: Performance evaluation of automated manufacturing systems using generalized stochastic Petri nets. IEEE Transactions on Robotics and Automation\u00a06(6), 621\u2013638 (1990)","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Advances in Petri Nets 1985","author":"H. Alla","year":"1986","unstructured":"Alla, H., Ladet, P., Martinez, J., Silva, M.: Modeling and validation of complex systems by colored Petri Nets: an application to a flexible manufacturing system. In: Rozenberg, G., Genrich, H., Roucairal, G. (eds.) APN 1985. LNCS, vol.\u00a0222. Springer, Heidelberg (1986)"},{"issue":"10","key":"6_CR4","doi-asserted-by":"publisher","first-page":"1251","DOI":"10.1109\/12.5986","volume":"37","author":"G. Balbo","year":"1988","unstructured":"Balbo, G., Bruell, S.C., Ghanta, S.: Combining queueing networks and generalized stochastic Petri nets for the solution of complex models of system behavior. IEEE Transactions on Computers\u00a037(10), 1251\u20131268 (1988)","journal-title":"IEEE Transactions on Computers"},{"issue":"2","key":"6_CR5","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1080\/00207548808947856","volume":"26","author":"M. Barad","year":"1988","unstructured":"Barad, M., Sipper, D.: Flexibility in manufacturing systems: definitions and Petri net modeling. International Journal of Production Research\u00a026(2), 237\u2013248 (1988)","journal-title":"International Journal of Production Research"},{"issue":"4","key":"6_CR6","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1108\/13552510610705955","volume":"12","author":"M. Bertolini","year":"2006","unstructured":"Bertolini, M., Bevilacqua, M., Mason, G.: Reliability design of industrial plants using Petri nets. Journal of Quality in Maintenance Engineering\u00a012(4), 397\u2013411 (2006)","journal-title":"Journal of Quality in Maintenance Engineering"},{"key":"6_CR7","volume-title":"Systems reliability assessment","author":"A. Bobbio","year":"1990","unstructured":"Bobbio, A.: System modelling with Petri nets. In: Colombo, A.G., Saiz de Bustamante, A. (eds.) Systems reliability assessment. Kluwer Academic, Dordrecht (1990)"},{"key":"6_CR8","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/S0895-7177(00)00072-8","volume":"31","author":"F.D.J. Bowden","year":"2000","unstructured":"Bowden, F.D.J.: A brief survey and synthesis of the roles of time in Petri nets. Mathematical and Computer Modeling\u00a031, 55\u201368 (2000)","journal-title":"Mathematical and Computer Modeling"},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.peva.2003.07.001","volume":"56","author":"P. Bucholz","year":"2004","unstructured":"Bucholz, P.: Adaptive decomposition and approximation for the analysis of stochastic Petri nets. Performance Evaluation\u00a056, 23\u201352 (2004)","journal-title":"Performance Evaluation"},{"key":"6_CR10","series-title":"Studies in Fuzziness and Soft Computing","doi-asserted-by":"crossref","DOI":"10.1007\/b100371","volume-title":"Simulating fuzzy systems","author":"J.J. Buckley","year":"2005","unstructured":"Buckley, J.J.: Simulating fuzzy systems. Studies in Fuzziness and Soft Computing, vol.\u00a0171. Springer, Heidelberg (2005)"},{"issue":"2","key":"6_CR11","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1109\/TASE.2005.844537","volume":"2","author":"H. Chen","year":"2005","unstructured":"Chen, H., Amodeo, L., Chu, F., Labadi, K.: Modeling and performance evaluation of supply chains using batch deterministic and stochastic Petri nets. IEE Transactions on Automation and Engineering\u00a02(2), 132\u2013144 (2005)","journal-title":"IEE Transactions on Automation and Engineering"},{"issue":"2","key":"6_CR12","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1007\/s001700300012","volume":"21","author":"J. Chen","year":"2003","unstructured":"Chen, J., Chen, F.F.: Performance modelling and evaluation of dynamic tool allocation in flexible manufacturing systems using coloured Petri nets: an object-oriented approach. International Journal of Advanced Manufacturing Technology\u00a021(2), 98\u2013109 (2003)","journal-title":"International Journal of Advanced Manufacturing Technology"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"Application and Theory of Petri Nets 1993","author":"H. Choi","year":"1993","unstructured":"Choi, H., Kulkarni, V.G., Trivedi, K.S.: Transient analysis of deterministic and stochastic Petri nets by the method of supplemantary variables. In: Marsan, M.A. (ed.) ICATPN 1993. LNCS, vol.\u00a0691. Springer, Heidelberg (1993)"},{"key":"6_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-6955-4","volume-title":"Practice of Petri Nets in Manufacturing","author":"F. DiCesare","year":"1993","unstructured":"DiCesare, F., Harhalakis, G., Proth, J.M., Silva, M., Vernadat, F.B.: Practice of Petri Nets in Manufacturing. Chapman &Hall, Boca Raton (1993)"},{"key":"6_CR15","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1016\/j.mcm.2005.11.005","volume":"43","author":"Z. Ding","year":"2006","unstructured":"Ding, Z., Bunke, H., Kipersztok, O., Schneider, M., Kandel, A.: Fuzzy timed Petri nets-analysis and implementation. Mathematical and Computer Modelling\u00a043, 385\u2013400 (2006)","journal-title":"Mathematical and Computer Modelling"},{"key":"6_CR16","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1016\/j.mcm.2003.02.015","volume":"41","author":"Z. Ding","year":"2005","unstructured":"Ding, Z., Bunke, H., Schneider, M., Kandel, A.: Fuzzy timed Petri net definitions, properties, and applications. Mathematical and Computer Modelling\u00a041, 345\u2013360 (2005)","journal-title":"Mathematical and Computer Modelling"},{"key":"6_CR17","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/j.jsc.2008.04.005","volume":"44","author":"A. Fronk","year":"2009","unstructured":"Fronk, A., Kehden, B.: State space analysis of Petri nets with relation-algebraic method. Journal of Symbolic Computation\u00a044, 15\u201347 (2009)","journal-title":"Journal of Symbolic Computation"},{"key":"6_CR18","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1109\/IPDS.1995.395812","volume-title":"Proceedings of the International Computer Performance and Dependability Symposium - IPDS 1995","author":"R. German","year":"1995","unstructured":"German, R.: New results for the analysis of deterministic and stochastic Petri nets. In: Proceedings of the International Computer Performance and Dependability Symposium - IPDS 1995, pp. 114\u2013123. IEEE Computer Society Press, Los Alamitos (1995) (0-8186-7059-2\/95)"},{"key":"6_CR19","doi-asserted-by":"publisher","first-page":"580","DOI":"10.1016\/j.compchemeng.2007.04.002","volume":"32","author":"M. Ghaeli","year":"2008","unstructured":"Ghaeli, M., Bahri, P.A., Lee, P.L.: Scheduling of a mixed batch\/continuous sugar milling plant using Petri nets. Computers and Chemical Engineering\u00a032, 580\u2013589 (2008)","journal-title":"Computers and Chemical Engineering"},{"issue":"6","key":"6_CR20","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1016\/S1571-0661(04)80471-7","volume":"65","author":"N. Gharbi","year":"2002","unstructured":"Gharbi, N., Ioualalen, M.: Performance analysis of retrial queueing systems using generalized stochastic Petri nets. Electronic Notes in Theoretical Computer Science\u00a065(6), 86\u2013100 (2002)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"7","key":"6_CR21","doi-asserted-by":"publisher","first-page":"1375","DOI":"10.1080\/00207540412331299602","volume":"43","author":"A. Giua","year":"2005","unstructured":"Giua, A., Pilloni, M.T., Seatzu, C.: Modelling and simulation of a bottling plant using hybrid Petri nets. International Journal of Production Research\u00a043(7), 1375\u20131395 (2005)","journal-title":"International Journal of Production Research"},{"issue":"2","key":"6_CR22","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1109\/TII.2005.844433","volume":"1","author":"L. Gomes","year":"2005","unstructured":"Gomes, L.: Structuring and composability issues in Petri nets modeling. IEEE Transactions on Industrial Informatics\u00a01(2), 112\u2013123 (2005)","journal-title":"IEEE Transactions on Industrial Informatics"},{"issue":"2","key":"6_CR23","doi-asserted-by":"publisher","first-page":"464","DOI":"10.1016\/j.ejor.2007.02.055","volume":"191","author":"T. Hsu","year":"2008","unstructured":"Hsu, T., Korbaa, O., Dupas, R., Goncalves, G.: Cyclic scheduling for FMS: modelling and evolutionary solving approach. European Journal of Operational Research\u00a0191(2), 464\u2013484 (2008)","journal-title":"European Journal of Operational Research"},{"issue":"16","key":"6_CR24","first-page":"553","volume":"46","author":"B. Huang","year":"2008","unstructured":"Huang, B., Sun, Y., Sun, Y.M.: Scheduling of flexible manufacturing systems based on Petri nets and hybrid heuristic search. International Journal of Production Research\u00a046(16), 553\u20134565 (2008)","journal-title":"International Journal of Production Research"},{"key":"6_CR25","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1016\/j.tcs.2004.12.010","volume":"332","author":"H.J. Huang","year":"2005","unstructured":"Huang, H.J., Jiao, L., Cheung, T.Y.: Property-preserving subnet reductions for designing manufacturing systems with shared resources. Theoretical Computer Science\u00a0332, 461\u2013485 (2005)","journal-title":"Theoretical Computer Science"},{"key":"6_CR26","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1016\/j.eswa.2006.08.030","volume":"34","author":"Y.M. Huang","year":"2008","unstructured":"Huang, Y.M., Chen, J.N., Huang, T.C., Jeng, Y.L., Kuo, Y.H.: Standardized course generation process using dynamic fuzzy Petri nets. Expert Systems with Applications\u00a034, 72\u201386 (2008)","journal-title":"Expert Systems with Applications"},{"issue":"5","key":"6_CR27","doi-asserted-by":"publisher","first-page":"752","DOI":"10.1109\/70.631236","volume":"13","author":"M.D. Jeng","year":"1997","unstructured":"Jeng, M.D.: Petri nets for modeling automated manufacturing systems with error recovery. IEEE Transaction on Robotics and Automation\u00a013(5), 752\u2013760 (1997a)","journal-title":"IEEE Transaction on Robotics and Automation"},{"issue":"2","key":"6_CR28","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1109\/3477.558787","volume":"27","author":"M.D. Jeng","year":"1997","unstructured":"Jeng, M.D.: A Petri net synthesis theory for modeling flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics-Part B: Cybernetics\u00a027(2), 169\u2013183 (1997b)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics-Part B: Cybernetics"},{"issue":"6","key":"6_CR29","doi-asserted-by":"publisher","first-page":"875","DOI":"10.1109\/TRA.2002.805655","volume":"18","author":"M.D. Jeng","year":"2002","unstructured":"Jeng, M.D., Xie, X., Peng, M.Y.: Process nets with resources for manufacturing modeling and their analysis. IEEE Transactions on Robotics and Automation\u00a018(6), 875\u2013889 (2002)","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"6_CR30","doi-asserted-by":"publisher","first-page":"955","DOI":"10.1016\/j.apm.2006.10.023","volume":"31","author":"Y.W. Kim","year":"2007","unstructured":"Kim, Y.W., Suzuki, T., Narikiyo, T.: FMS scheduling based on timed Petri Net model and reactive graph search. Applied Mathematical Modelling\u00a031, 955\u2013970 (2007)","journal-title":"Applied Mathematical Modelling"},{"issue":"1","key":"6_CR31","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/0965-9978(95)00086-0","volume":"25","author":"D. Kiritsis","year":"1996","unstructured":"Kiritsis, D., Porchet, M.: A generic Petri net model for dynamic process planning and sequence optimization. Advances in Engineering Software\u00a025(1), 61\u201371 (1996)","journal-title":"Advances in Engineering Software"},{"issue":"7","key":"6_CR32","doi-asserted-by":"publisher","first-page":"1349","DOI":"10.1080\/0020754031000073008","volume":"41","author":"O. Korbaa","year":"2003","unstructured":"Korbaa, O., Benasser, A., Yim, P.: Two FMS scheduling methods based on Petri nets: a global and a local approach. International Journal of Production Research\u00a041(7), 1349\u20131371 (2003)","journal-title":"International Journal of Production Research"},{"key":"6_CR33","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1016\/0164-1212(95)00083-6","volume":"36","author":"S.M. Koriem","year":"1997","unstructured":"Koriem, S.M., Patnaik, L.M.: A generalized high-level Petri net model for performance analysis. Journal of Systems Software\u00a036, 247\u2013265 (1997)","journal-title":"Journal of Systems Software"},{"key":"6_CR34","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/S0164-1212(03)00211-5","volume":"72","author":"S.M. Koriem","year":"2004","unstructured":"Koriem, S.M., Dabbous, T.E., El-Kilani, W.S.: A new Petri net modeling technique for the performance analysis of discrete event dynamic systems. The Journal of Systems and Software\u00a072, 335\u2013348 (2004)","journal-title":"The Journal of Systems and Software"},{"key":"6_CR35","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1016\/j.datak.2006.08.003","volume":"62","author":"B.B. Korpeoglu","year":"2007","unstructured":"Korpeoglu, B.B., Yazici, A.: A fuzzy Petri net model for intelligent databases. Data & Knowledge Engineering\u00a062, 219\u2013247 (2007)","journal-title":"Data & Knowledge Engineering"},{"issue":"2","key":"6_CR36","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1109\/TSMCA.2007.914747","volume":"38","author":"J.S. Lee","year":"2008","unstructured":"Lee, J.S., Zhou, M.C., Hsu, P.L.: Multiparadigm modeling of hybrid dynamic systems using a Petri net framework. IEEE Transactions on Man, and Cybernetics-Part A: Systems and Humans\u00a038(2), 493\u2013498 (2008)","journal-title":"IEEE Transactions on Man, and Cybernetics-Part A: Systems and Humans"},{"issue":"2","key":"6_CR37","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1016\/j.matcom.2005.11.010","volume":"70","author":"J.K. Lee","year":"2006","unstructured":"Lee, J.K., Korbaa, O.: Scheduling analysis of FMS: an unfolding timed Petri nets approach. Mathematics and Computers in Simulation\u00a070(2), 419\u2013432 (2006)","journal-title":"Mathematics and Computers in Simulation"},{"issue":"11","key":"6_CR38","doi-asserted-by":"publisher","first-page":"1321","DOI":"10.1080\/00207720110051987","volume":"32","author":"D. Lefebvre","year":"2001","unstructured":"Lefebvre, D.: Estimation of the firing frequencies in discrete and continuous Petri nets models. International Journal of Systems Science\u00a032(11), 1321\u20131332 (2001)","journal-title":"International Journal of Systems Science"},{"key":"6_CR39","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1016\/j.nahs.2005.11.002","volume":"1","author":"D. Lefebvre","year":"2007","unstructured":"Lefebvre, D., Delherm, C., Leclercq, E., Druaux, F.: Some contributions with Petri nets for the modelling, analysis and control of HDS. Nonlinear Analysis: Hybrid Systems\u00a01, 451\u2013465 (2007)","journal-title":"Nonlinear Analysis: Hybrid Systems"},{"key":"6_CR40","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/S0166-5316(99)00020-6","volume":"36-37","author":"C. Lindermann","year":"1999","unstructured":"Lindermann, C., Th\u00fcmmler, A.: Transient analysis of deterministic and stochastic Petri nets with concurrent deterministic transitions. Performance Evaluation\u00a036-37, 35\u201354 (1999)","journal-title":"Performance Evaluation"},{"key":"6_CR41","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/s00170-004-2153-0","volume":"27","author":"H. Liu","year":"2005","unstructured":"Liu, H., Jiang, Z., Fung, R.Y.K.: Modeling of large-scale re-entrant manufacturing systems by extended object-oriented Petri nets. International Journal of Advanced Manufacturing Technology\u00a027, 190\u2013204 (2005)","journal-title":"International Journal of Advanced Manufacturing Technology"},{"issue":"24","key":"6_CR42","doi-asserted-by":"publisher","first-page":"5131","DOI":"10.1080\/00207540500216854","volume":"43","author":"G. Maione","year":"2005","unstructured":"Maione, G., DiCesare, F.: Hybrid Petri net and digraph approach for deadlock prevention in automated manufacturing systems. International Journal of Production Research\u00a043(24), 5131\u20135159 (2005)","journal-title":"International Journal of Production Research"},{"key":"6_CR43","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/190.191","volume":"2","author":"M.A. Marsan","year":"1984","unstructured":"Marsan, M.A., Bobbio, A., Conte, G., Cumani, A.: A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems. ACM Trans. Comp. Systs.\u00a02, 93\u2013122 (1984)","journal-title":"ACM Trans. Comp. Systs."},{"key":"6_CR44","volume-title":"Modelling with generalized stochastic Petri nets","author":"M.A. Marsan","year":"1995","unstructured":"Marsan, M.A., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with generalized stochastic Petri nets. Wiley, Chichester (1995)"},{"key":"6_CR45","unstructured":"Merlin, P.M.: A study of the recoverability of computing systems. PhD thesis, University of California, Irvine, CA (1974)"},{"issue":"9","key":"6_CR46","doi-asserted-by":"publisher","first-page":"913","DOI":"10.1109\/TC.1982.1676110","volume":"31","author":"M.K. Molloy","year":"1982","unstructured":"Molloy, M.K.: Performance analysis using stochastic Petri nets. IEEE Transactions on Computers\u00a0C-31(9), 913\u2013917 (1982)","journal-title":"IEEE Transactions on Computers"},{"issue":"4","key":"6_CR47","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri nets: properties, analysis and applications. Proceedings of IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proceedings of IEEE"},{"key":"6_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1007\/3-540-61363-3_2","volume-title":"Application and Theory of Petri Nets 1996","author":"T. Murata","year":"1996","unstructured":"Murata, T.: Temporal uncertainty and fuzzy-timing high-level petri nets. In: Billington, J., Reisig, W. (eds.) ICATPN 1996. LNCS, vol.\u00a01091, pp. 11\u201328. Springer, Heidelberg (1996)"},{"key":"6_CR49","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1007\/BF02023780","volume":"30","author":"Y. Narahari","year":"1985","unstructured":"Narahari, Y., Viswanadham, N.: A Petri net approach to the modeling and analysis of FMSs. Annals of Operations Research\u00a030, 449\u2013472 (1985)","journal-title":"Annals of Operations Research"},{"key":"6_CR50","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1016\/j.rcim.2004.11.004","volume":"21","author":"N.G. Odrey","year":"2005","unstructured":"Odrey, N.G., Mejia, G.: An augmented Petri net approach for error recovery in manufacturing systems control. Robotics and Computer-Integrated Manufacturing\u00a021, 346\u2013354 (2005)","journal-title":"Robotics and Computer-Integrated Manufacturing"},{"key":"6_CR51","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/S0165-0114(02)00524-9","volume":"140","author":"W. Pedrycz","year":"2003","unstructured":"Pedrycz, W., Camargo, H.: Fuzzy timed Petri nets. Fuzzy Sets and Systems\u00a0140, 301\u2013330 (2003)","journal-title":"Fuzzy Sets and Systems"},{"key":"6_CR52","volume-title":"Petri net theory and the modeling of systems","author":"J.L. Peterson","year":"1981","unstructured":"Peterson, J.L.: Petri net theory and the modeling of systems. Prentice, Inc., Englewood Cliffs (1981)"},{"key":"6_CR53","unstructured":"Petri, C.A.: Kommunikation mit Automaten, Nr. 3. Institut f\u00fcr Instrumentelle Mathematik, Schriften des IIM, Bonn (1962); also English translation \u201cCommunication with Automata\u201d. Tech. Rep. RADC-TR-65-377, vol. 1(suppl. 1). Griffiss Air Force Base, New York (1966)"},{"key":"6_CR54","series-title":"Lecture Notes in Computer Science","first-page":"500","volume-title":"Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986","author":"C.A. Petri","year":"1987","unstructured":"Petri, C.A.: Forgotten topics of net theory. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol.\u00a0255, pp. 500\u2013514. Springer, Heidelberg (1987)"},{"key":"6_CR55","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(95)00116-6","volume":"153","author":"C.A. Petri","year":"1996","unstructured":"Petri, C.A.: Nets, time and space. Theoretical Computer Science\u00a0153, 3\u201348 (1996)","journal-title":"Theoretical Computer Science"},{"key":"6_CR56","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/j.entcs.2008.12.041","volume":"223","author":"V. Praveen","year":"2008","unstructured":"Praveen, V., Lodaya, K.: Analyzing reachability for some Petri nets with fast growing markings. Electronic Notes in Theoretical Computer Science\u00a0223, 215\u2013237 (2008)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"6_CR57","unstructured":"Ramchandani, C.: Analysis of asynchronous concurrent systems by timed Petri nets. Doctoral Dissertation. MIT Cambridge, MA (1974)"},{"key":"6_CR58","doi-asserted-by":"publisher","first-page":"923","DOI":"10.1016\/j.mcm.2004.08.008","volume":"41","author":"I.R. Rangel","year":"2005","unstructured":"Rangel, I.R., Trevino, A.R., Mellado, E.L.: Building reduced Petri net models of discrete manufacturing systems. Mathematical and Computer Modelling\u00a041, 923\u2013937 (2005)","journal-title":"Mathematical and Computer Modelling"},{"key":"6_CR59","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/j.entcs.2008.12.042","volume":"223","author":"K. Reinhardt","year":"2008","unstructured":"Reinhardt, K.: Reachability in Petri nets with inhibitor arcs. Electronic Notes in Theoretical Computer Science\u00a0223, 239\u2013264 (2008)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"6_CR60","volume-title":"Fuzzy logic with engineering applications","author":"T.J. Ross","year":"1995","unstructured":"Ross, T.J.: Fuzzy logic with engineering applications. McGraw-Hill, New York (1995)"},{"issue":"1-4","key":"6_CR61","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0360-8352(94)90242-9","volume":"27","author":"H. Shiizuka","year":"1994","unstructured":"Shiizuka, H., Suzuki, M.: Modeling of AGV networks in flexible manufacturing systems. Computers and Industrial Engineering\u00a027(1-4), 81\u201386 (1994)","journal-title":"Computers and Industrial Engineering"},{"key":"6_CR62","doi-asserted-by":"crossref","unstructured":"Srinivasan, P., Gracanin, D.: Approximate reasoning with fuzzy Petri nets. In: Second IEEE International Conference on Fuzzy Systems, San Francisco, California, USA, pp. 396\u2013401 (1993)","DOI":"10.1109\/FUZZY.1993.327429"},{"issue":"3","key":"6_CR63","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1007\/s001700200014","volume":"19","author":"M. Uzam","year":"2002","unstructured":"Uzam, M.: An optimal deadlock prevention policy for flexible manufacturing systems using petri net models with resources and the theory of regions. International Journal of Advanced Manufacturing Technology\u00a019(3), 192\u2013208 (2002)","journal-title":"International Journal of Advanced Manufacturing Technology"},{"issue":"3-4","key":"6_CR64","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/s00170-002-1526-5","volume":"23","author":"M. Uzam","year":"2004","unstructured":"Uzam, M.: The use of the Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems. International Journal of Advanced Manufacturing Technology\u00a023(3-4), 204\u2013219 (2004)","journal-title":"International Journal of Advanced Manufacturing Technology"},{"issue":"1","key":"6_CR65","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1109\/21.47812","volume":"20","author":"K.P. Valavanis","year":"1990","unstructured":"Valavanis, K.P.: On the hierarchical modeling analysis and simulation of flexible manufacturing systems with extended Petri nets. IEEE Transactions on Systems, Man, and Cybernetics\u00a020(1), 94\u2013110 (1990)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics"},{"key":"6_CR66","unstructured":"Valette, R., Cardoso, J., Dubois, D.: Monitoring manufacturing systems by means of Petri nets with imprecise markings. In: IEEE International Symposium on Intelligent Control, Albany, NY (1989)"},{"key":"6_CR67","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1007\/978-3-642-69028-0_18","volume":"66","author":"R. Valette","year":"1982","unstructured":"Valette, R., Courvoisier, M., Mayeux, D.: Control of flexible production systems and Petri nets. Informatik Fachberichte\u00a066, 264\u2013267 (1982)","journal-title":"Informatik Fachberichte"},{"issue":"1","key":"6_CR68","first-page":"1","volume":"6","author":"P.R. Venkateswaran","year":"2006","unstructured":"Venkateswaran, P.R., Bhat, J.: Fuzzy Petri net algoritjm for flexible manufacturing systems. ACSE Journal\u00a06(1), 1\u20135 (2006)","journal-title":"ACSE Journal"},{"issue":"1","key":"6_CR69","first-page":"39","volume":"1","author":"R. Viertl","year":"2004","unstructured":"Viertl, R., Hareter, D.: Fuzzy information and stochastics. Iranian Journal of Fuzzy Systems\u00a01(1), 39\u201352 (2004)","journal-title":"Iranian Journal of Fuzzy Systems"},{"key":"6_CR70","doi-asserted-by":"publisher","first-page":"1394","DOI":"10.1016\/j.na.2005.02.123","volume":"62","author":"E. Villani","year":"2005","unstructured":"Villani, E., Pascal, J.C., Miyagi, P.E., Valette, R.: A Petri net-based object-oriented approach for the modelling of hybrid productive systems. Nonlinear Analysis\u00a062, 1394\u20131418 (2005)","journal-title":"Nonlinear Analysis"},{"issue":"2","key":"6_CR71","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1016\/S0360-8352(97)00145-9","volume":"34","author":"L.C. Wang","year":"1998","unstructured":"Wang, L.C., Wu, S.Y.: Modeling with colored timed object-oriented Petri nets for automated manufacturing systems. Computers and Industrial Engineering\u00a034(2), 463\u2013480 (1998)","journal-title":"Computers and Industrial Engineering"},{"issue":"1","key":"6_CR72","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1108\/17410380510574077","volume":"16","author":"Z. Wang","year":"2005","unstructured":"Wang, Z., Zhang, J., Chan, F.T.S.: A hybrid Petri nets model of networked manufacturing systems and its control system architecture. Journal of Manufacturing Technology Management\u00a016(1), 36\u201352 (2005)","journal-title":"Journal of Manufacturing Technology Management"},{"key":"6_CR73","doi-asserted-by":"publisher","first-page":"747","DOI":"10.1002\/(SICI)1098-111X(199908)14:8<747::AID-INT3>3.0.CO;2-Q","volume":"14","author":"F. Wu","year":"1999","unstructured":"Wu, F.: Fuzzy time semirings and fuzzy-timing colored Petri nets. International Journal of Intelligent Systems\u00a014, 747\u2013774 (1999)","journal-title":"International Journal of Intelligent Systems"},{"issue":"1","key":"6_CR74","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1109\/TSMCA.2007.909542","volume":"38","author":"N. Wu","year":"2008","unstructured":"Wu, N., Zhou, M.C., Li, Z.W.: Resource-oriented Petri net for deadlock avoidance in flexible assembly systems. IEEE Transactions on Man, and Cybernetics-Part A: Systems and Humans\u00a038(1), 56\u201369 (2008)","journal-title":"IEEE Transactions on Man, and Cybernetics-Part A: Systems and Humans"},{"key":"6_CR75","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/S0736-5845(97)00019-7","volume":"14","author":"H.S. Yan","year":"1998","unstructured":"Yan, H.S., Wang, N.S., Zang, J.G., Cui, X.Y.: Modeling, scheduling and simulation of flexible manufacturing systems using extended stochastic high-level evaluation Petri nets. Robots and Computer-Integrated Manufacturing\u00a014, 121\u2013140 (1998)","journal-title":"Robots and Computer-Integrated Manufacturing"},{"key":"6_CR76","unstructured":"Yeung, D.S., Liu, J.N.K., Shiu, S.C.K., Fung, G.S.K.: Fuzzy coloured petri nets in modelling flexible manufacturing systems. In: Proceedings of Mexico-USA Collaboration in Intelligent Systems Technologies, pp. 100\u2013107 (1996)"},{"issue":"1","key":"6_CR77","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/TSMC.1973.5408575","volume":"3","author":"L.A. Zadeh","year":"1973","unstructured":"Zadeh, L.A.: Outline of a new approach to the analysis of complex systems and decision processes. IEEE Transactions on Systems, Man, and Cybernetics\u00a0SMC-3(1), 28\u201344 (1973)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics"},{"key":"6_CR78","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"L.A. Zadeh","year":"1965","unstructured":"Zadeh, L.A.: Fuzzy sets. Information and Control\u00a08, 338\u2013353 (1965)","journal-title":"Information and Control"},{"key":"6_CR79","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1016\/0022-247X(68)90078-4","volume":"23","author":"L.A. Zadeh","year":"1968","unstructured":"Zadeh, L.A.: Probability measures of fuzzy events. J. Math. Anal. Appl.\u00a023, 421\u2013427 (1968)","journal-title":"J. Math. Anal. Appl."},{"issue":"3","key":"6_CR80","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1080\/09511920110059070","volume":"15","author":"X.F. Zha","year":"2002","unstructured":"Zha, X.F., Li, L.L., Zhang, W.J.: A knowledge Petri net model for flexible manufacturing systems and its application for design and verification of FMS controllers. International Journal of Computer Integrated Manufacturing\u00a015(3), 242\u2013264 (2002)","journal-title":"International Journal of Computer Integrated Manufacturing"},{"key":"6_CR81","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1016\/j.mcm.2008.03.010","volume":"49","author":"H. Zhang","year":"2009","unstructured":"Zhang, H., Gu, M.: Modeling job shop scheduling with batches and setup times by timed Petri nets. Mathematical and Computer Modelling\u00a049, 286\u2013294 (2009)","journal-title":"Mathematical and Computer Modelling"},{"issue":"3","key":"6_CR82","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1109\/66.705370","volume":"11","author":"M.C. Zhou","year":"1998","unstructured":"Zhou, M.C., Jeng, M.D.: Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: a Petri net approach. IEEE Transactions on Semiconductor Manufacturing\u00a011(3), 333\u2013357 (1998)","journal-title":"IEEE Transactions on Semiconductor Manufacturing"},{"issue":"4","key":"6_CR83","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1109\/70.86081","volume":"7","author":"M.C. Zhou","year":"1991","unstructured":"Zhou, M.C., DiCesare, F.: Parallel and sequential mutual exclusions for Petri net modeling for manufacturing systems. IEEE Transactions on Robotics and Automation\u00a07(4), 515\u2013527 (1991)","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"6_CR84","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3126-5","volume-title":"Petri Net Synthesis for Discrete Event Control of Manufacturing Systems","author":"M.C. Zhou","year":"1993","unstructured":"Zhou, M.C., DiCesare, F.: Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Kluwer Academic, Dordrecht (1993)"},{"key":"6_CR85","doi-asserted-by":"crossref","unstructured":"Zhou, M.C., DiCesare, F., Guo, D.: Modeling and performance analysis of a resource- sharing manufacturing system using stochastic Petri nets. In: Proceedings of the 5th IEEE International Symposium on Intelligent Control, vol.\u00a02(5-7), pp. 1005\u20131010 (1990)","DOI":"10.1109\/ISIC.1990.128577"},{"issue":"2","key":"6_CR86","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1109\/21.229464","volume":"23","author":"M.C. Zhou","year":"1993","unstructured":"Zhou, M.C., McDermott, K., Patel, P.A.: Petri net synthesis and analysis of a flexible manufacturing system cell. IEEE Transactions on Systems, Man, and Cybernetics\u00a023(2), 523\u2013531 (1993)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics"},{"key":"6_CR87","doi-asserted-by":"crossref","DOI":"10.1142\/3376","volume-title":"Modeling, simulation and control of flexible manufacturing systems: a petri net approach","author":"M.C. Zhou","year":"1999","unstructured":"Zhou, M.C., Venkatesh, K.: Modeling, simulation and control of flexible manufacturing systems: a petri net approach. World Scientific, Singapore (1999)"},{"issue":"3","key":"6_CR88","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1109\/70.143353","volume":"8","author":"M.C. Zhou","year":"1992","unstructured":"Zhou, M.C., DiCesare, F.: A hybrid methodology for synthesis of Petri net models for manufacturing systems. IEEE Trans. Robot. Automa\u00a08(3), 350\u2013361 (1992)","journal-title":"IEEE Trans. Robot. Automa"},{"key":"6_CR89","volume-title":"Fuzzy set theory and its applications","author":"H.J. Zimmerman","year":"1994","unstructured":"Zimmerman, H.J.: Fuzzy set theory and its applications. Kluwer Academic Publishers, Dordrecht (1994)"},{"key":"6_CR90","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/s001700050050","volume":"15","author":"A. Zimmermann","year":"1999","unstructured":"Zimmermann, A., Hommel, G.: Modelling and evaluation of manufacturing systems using dedicated Petri nets. International Journal of Advanced Manufacturing Technology\u00a015, 132\u2013138 (1999)","journal-title":"International Journal of Advanced Manufacturing Technology"},{"key":"6_CR91","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1023\/A:1012292102123","volume":"12","author":"A. Zimmermann","year":"2001","unstructured":"Zimmermann, A., Rodriguez, D., Silva, M.: A two phase optimization method for Petri nets models of manufacturing systems. Journal of Intelligent Manufacturing\u00a012, 409\u2013420 (2001)","journal-title":"Journal of Intelligent Manufacturing"},{"key":"6_CR92","doi-asserted-by":"crossref","unstructured":"Zuberek, W.M., Kubiak, W.: Throughput analysis of manufacturing cells using timed Petri nets. In: Proc. IEEE Int. Conf. on Systems, Man and Cybernetics, San Antonio, TX, pp. 1328\u20131333 (1994)","DOI":"10.1109\/ICSMC.1994.400029"},{"key":"6_CR93","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/S0898-1221(99)00157-1","volume":"37","author":"W.M. Zuberek","year":"1999","unstructured":"Zuberek, W.M., Kubiak, W.: Timed Petri nets in modeling and analysis of simple schedules for manufacturing cells. Computers and Mathematics with Applications\u00a037, 191\u2013206 (1999)","journal-title":"Computers and Mathematics with Applications"}],"container-title":["Studies in Fuzziness and Soft Computing","Production Engineering and Management under Fuzziness"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-12052-7_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T12:02:17Z","timestamp":1619784137000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-12052-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642120510","9783642120527"],"references-count":93,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-12052-7_6","relation":{},"ISSN":["1434-9922","1860-0808"],"issn-type":[{"value":"1434-9922","type":"print"},{"value":"1860-0808","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}